aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa
ModeNameSize
-rw-r--r--Example.ML209logplain
-rw-r--r--Example.thy114logplain
-rw-r--r--README384logplain
-rw-r--r--interface2085logplain
-rw-r--r--interface-setup.el508logplain
-rw-r--r--isa-syntax.el9276logplain
-rw-r--r--isa.el21494logplain
-rw-r--r--thy-mode.el33141logplain
-rw-r--r--todo2956logplain
-rw-r--r--x-symbol-isa.el10281logplain