aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar
ModeNameSize
-rw-r--r--Example.thy186logplain
-rw-r--r--interface1914logplain
-rw-r--r--interface-setup.el216logplain
-rw-r--r--isar-keywords.el2737logplain
-rw-r--r--isar-syntax.el6485logplain
-rw-r--r--isar.el18820logplain