aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar
ModeNameSize
-rw-r--r--Example.thy248logplain
-rw-r--r--interface1914logplain
-rw-r--r--interface-setup.el216logplain
-rw-r--r--isar-keywords.el2788logplain
-rw-r--r--isar-syntax.el8837logplain
-rw-r--r--isar.el19119logplain