| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-05-19 | added macros for proofs and theorems | Galin Simeonov |
| 2021-05-19 | added makefile | Galin Simeonov |
| 2021-05-13 | init commit | Galin Simeonov |
| index : mg | |
| Groff macros |
| summaryrefslogtreecommitdiffstats |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-05-19 | added macros for proofs and theorems | Galin Simeonov |
| 2021-05-19 | added makefile | Galin Simeonov |
| 2021-05-13 | init commit | Galin Simeonov |