aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa
ModeNameSize
-rw-r--r--BUGS2867logplain
-rw-r--r--Example-Xsym.ML524logplain
-rw-r--r--Example.ML371logplain
-rw-r--r--Example.thy433logplain
-rw-r--r--Example2.ML303logplain
-rw-r--r--README1026logplain
-rw-r--r--interface5111logplain
-rw-r--r--interface-setup.el1064logplain
-rw-r--r--isa-syntax.el11817logplain
-rw-r--r--isa.el26527logplain
-rw-r--r--isabelle-system.el20720logplain
-rw-r--r--thy-mode.el33554logplain
-rw-r--r--todo2352logplain
-rw-r--r--x-symbol-isa.el640logplain
-rw-r--r--x-symbol-isabelle.el16708logplain