aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa
ModeNameSize
-rw-r--r--ProofGeneral.ML8743logplain
-rw-r--r--example.ML211logplain
-rw-r--r--isa-syntax.el4874logplain
-rw-r--r--isa.el19410logplain
-rw-r--r--thy-mode.el30213logplain