aboutsummaryrefslogtreecommitdiffstats
path: root/math/isabelle/files
ModeNameSize
-rw-r--r--Makefile902logstatsplainblame
-rw-r--r--badmaxdsiz1278logstatsplainblame
-rw-r--r--patch-etc-settings3582logstatsplainblame
-rw-r--r--patch-lib-Tools-doc204logstatsplainblame