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