aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar
ModeNameSize
-rw-r--r--Example-Tokens.thy953logplain
-rw-r--r--Example.thy501logplain
-rw-r--r--README1223logplain
d---------ex232logplain
-rwxr-xr-xinterface4375logplain
-rw-r--r--interface-setup.el1045logplain
-rw-r--r--isabelle-system.el13542logplain
-rw-r--r--isar-autotest.el4035logplain
-rw-r--r--isar-find-theorems.el16839logplain
-rw-r--r--isar-keywords.el11134logplain
-rw-r--r--isar-profiling.el1821logplain
-rw-r--r--isar-syntax.el18986logplain
-rw-r--r--isar-unicode-tokens.el18555logplain
-rw-r--r--isar.el22201logplain
-rwxr-xr-xisartags2041logplain