src/Tools/jEdit/src/modes/isabelle.xml
2011-06-08 wenzelm 2011-06-08 simplified directory structure; recovered README.html;