src/Tools/jEdit/src/Isabelle.props
2011-08-17 wenzelm 2011-08-17 some convenience actions/shortcuts for control symbols;
2011-06-08 wenzelm 2011-06-08 simplified directory structure;