summaryrefslogtreecommitdiff
path: root/emacs/inits/25-theorems.el
AgeCommit message (Expand)Author
2020-01-06Some proof fixes and ACME tweakstslil clingman
2019-12-21Changes frome chromebooktslil clingman
2019-09-11Inittslil clingman