diff options
| author | Galin Simeonov <gts@volconst.com> | 2021-05-14 12:42:13 +0300 |
|---|---|---|
| committer | Galin Simeonov <gts@volconst.com> | 2021-05-19 12:06:54 +0300 |
| commit | 49046ab042d28e58d48a48cb11d94567e4ec7619 (patch) | |
| tree | f006c7f6166d0a528c26f066c4f8cf2b12f88ebb /makefile | |
| parent | 34bd36f2acc1b5d3f1e766c3fa784dee2e749e4e (diff) | |
| download | mg-49046ab042d28e58d48a48cb11d94567e4ec7619.tar.gz | |
added macros for proofs and theorems
Diffstat (limited to 'makefile')
0 files changed, 0 insertions, 0 deletions