aboutsummaryrefslogtreecommitdiff
path: root/math/isabelle/files
ModeNameSize
-rw-r--r--Makefile902logplainblame
-rw-r--r--badmaxdsiz1278logplainblame
-rw-r--r--patch-etc-settings3582logplainblame
-rw-r--r--patch-lib-Tools-doc204logplainblame