aboutsummaryrefslogblamecommitdiff
path: root/math/proofgeneral/Makefile
blob: 79ef9be0d94f1fda98fa310f59102d37cf2301a8 (plain) (tree)
1
2
3
4
5
6
7
8
9