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