aboutsummaryrefslogtreecommitdiffstats
path: root/math/isabelle/files
ModeNameSize
-rw-r--r--Makefile934logstatsplainblame
-rw-r--r--patch-etc-settings4665logstatsplainblame
-rw-r--r--patch-lib-scripts-run_smlnj686logstatsplainblame