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