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