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