src/Tools/jEdit/src/isabelle_actions.scala
2012-11-25 wenzelm 2012-11-25 tuned signature; uniform view.fontsize fallback;
2012-11-25 wenzelm 2012-11-25 renamed main plugin object to PIDE;
2012-11-25 wenzelm 2012-11-25 added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
2012-11-24 wenzelm 2012-11-24 special handling of control symbols in Symbols dockable; less obscure Scala names;
2012-11-24 wenzelm 2012-11-24 improved editing support for control styles; separate module for Isabelle actions;