summaryrefslogtreecommitdiffstats
path: root/g.tmac
AgeCommit message (Collapse)Author
2021-05-19added verbatim macroGalin Simeonov
2021-05-19added macros for proofs and theoremsGalin Simeonov
2021-05-19added makefileGalin Simeonov
2021-05-13init commitGalin Simeonov