aboutsummaryrefslogtreecommitdiffstats
path: root/math/proofgeneral/files
ModeNameSize
-rw-r--r--patch-Makefile7710logstatsplainblame
-rw-r--r--patch-doc-Makefile.doc693logstatsplainblame
-rw-r--r--patch-etc_desktop_proofgeneral.desktop378logstatsplainblame
-rw-r--r--patch-isar-interface279logstatsplainblame
-rw-r--r--pkg-message.in476logstatsplainblame