src/Tools/jEdit/plugin/Isabelle.props
2008-12-20 wenzelm 2008-12-20 renamed IsabellePlugin to Isabelle; tuned properties according to http://isabelle.in.tum.de/repos/isabelle/file/b1c6f4563df7/lib/jedit/plugin/Isabelle.props;