summaryrefslogtreecommitdiffstats
AgeCommit message (Expand)Author
2021-05-19starting to separate control registers and macrosGalin Simeonov
2021-05-19work on footnotesGalin Simeonov
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