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.el13459logplain
-rw-r--r--isar-autotest.el4019logplain
-rw-r--r--isar-find-theorems.el16839logplain
-rw-r--r--isar-keywords.el11134logplain
-rw-r--r--isar-mmm.el2136logplain
-rw-r--r--isar-profiling.el1819logplain
-rw-r--r--isar-syntax.el18986logplain
-rw-r--r--isar-unicode-tokens.el18557logplain
-rw-r--r--isar.el22346logplain
-rwxr-xr-xisartags2041logplain