src/Tools/jEdit/src/isabelle_logic.scala
2012-09-11 wenzelm 2012-09-11 some support to organize options in sections;
2012-09-10 wenzelm 2012-09-10 proper multi-line tooltip;
2012-09-10 wenzelm 2012-09-10 more detailed option tooltip; more formal option.load; properties change propagation to Session_Dockable;
2012-09-10 wenzelm 2012-09-10 more systematic JEdit_Options.make_component; separate module Isabelle_Logic;