aboutsummaryrefslogblamecommitdiff
path: root/math/proofgeneral/pkg-plist
blob: c7a63295133f854fce24199aa138b92db4df0d8b (plain) (tree)
1
2
3
4
5
6
7
8
9