summaryrefslogtreecommitdiffstats
path: root/math/proofgeneral/files
ModeNameSize
-rw-r--r--patch-Makefile6987logstatsplainblame
-rw-r--r--patch-doc-Makefile.doc536logstatsplainblame
-rw-r--r--patch-etc_desktop_proofgeneral.desktop378logstatsplainblame
-rw-r--r--patch-isa_isabelle-system.el477logstatsplainblame
-rw-r--r--pkg-message.in476logstatsplainblame