/src/Tools/jEdit/src/modes/
drwxr-xr-x [up]
-rw-r--r-- 2017-01-09 20:26 +0100 527 isabelle-ml.xml
-rw-r--r-- 2017-01-09 20:26 +0100 437 isabelle-news.xml
-rw-r--r-- 2017-01-09 20:26 +0100 532 isabelle-options.xml
-rw-r--r-- 2017-01-09 20:26 +0100 537 isabelle-root.xml
-rw-r--r-- 2017-01-09 20:26 +0100 531 isabelle.xml
-rw-r--r-- 2017-01-09 20:26 +0100 523 sml.xml