2009-12-08 wenzelm [Tue, 08 Dec 2009 16:30:20 +0100] rev 34760
misc modernization of names;
src/Tools/jEdit/dist-template/properties/jedit.props src/Tools/jEdit/plugin/Isabelle.props src/Tools/jEdit/plugin/actions.xml src/Tools/jEdit/plugin/dockables.xml src/Tools/jEdit/plugin/services.xml src/Tools/jEdit/src/jedit/browse_version_dockable.scala src/Tools/jEdit/src/jedit/document_overview.scala src/Tools/jEdit/src/jedit/history_dockable.scala src/Tools/jEdit/src/jedit/isabelle_encoding.scala src/Tools/jEdit/src/jedit/isabelle_hyperlinks.scala src/Tools/jEdit/src/jedit/isabelle_options.scala src/Tools/jEdit/src/jedit/isabelle_sidekick.scala src/Tools/jEdit/src/jedit/isabelle_token_marker.scala src/Tools/jEdit/src/jedit/option_pane.scala src/Tools/jEdit/src/jedit/plugin.scala src/Tools/jEdit/src/jedit/prover_setup.scala src/Tools/jEdit/src/jedit/raw_output_dockable.scala src/Tools/jEdit/src/jedit/results_dockable.scala src/Tools/jEdit/src/jedit/token_marker.scala src/Tools/jEdit/src/proofdocument/command.scala src/Tools/jEdit/src/proofdocument/markup_node.scala src/Tools/jEdit/src/proofdocument/proof_document.scala src/Tools/jEdit/src/proofdocument/prover.scala src/Tools/jEdit/src/proofdocument/state.scala src/Tools/jEdit/src/proofdocument/theory_view.scala src/Tools/jEdit/src/proofdocument/token.scala

2009-12-08 wenzelm [Tue, 08 Dec 2009 14:49:01 +0100] rev 34759
misc rearrangement of files;
src/Tools/jEdit/src/jedit/BrowseVersionDockable.scala src/Tools/jEdit/src/jedit/Document_Overview.scala src/Tools/jEdit/src/jedit/DynamicTokenMarker.scala src/Tools/jEdit/src/jedit/IsabelleHyperlinkSource.scala src/Tools/jEdit/src/jedit/IsabelleSideKickParser.scala src/Tools/jEdit/src/jedit/Isabelle_Encoding.scala src/Tools/jEdit/src/jedit/OptionPane.scala src/Tools/jEdit/src/jedit/OutputDockable.scala src/Tools/jEdit/src/jedit/Plugin.scala src/Tools/jEdit/src/jedit/ProverSetup.scala src/Tools/jEdit/src/jedit/StateViewDockable.scala src/Tools/jEdit/src/jedit/TheoryView.scala src/Tools/jEdit/src/jedit/browse_version_dockable.scala src/Tools/jEdit/src/jedit/document_overview.scala src/Tools/jEdit/src/jedit/isabelle_encoding.scala src/Tools/jEdit/src/jedit/isabelle_hyperlinks.scala src/Tools/jEdit/src/jedit/isabelle_sidekick.scala src/Tools/jEdit/src/jedit/option_pane.scala src/Tools/jEdit/src/jedit/plugin.scala src/Tools/jEdit/src/jedit/prover_setup.scala src/Tools/jEdit/src/jedit/raw_output_dockable.scala src/Tools/jEdit/src/jedit/results_dockable.scala src/Tools/jEdit/src/jedit/token_marker.scala src/Tools/jEdit/src/proofdocument/Change.scala src/Tools/jEdit/src/proofdocument/ProofDocument.scala src/Tools/jEdit/src/proofdocument/Token.scala src/Tools/jEdit/src/proofdocument/change.scala src/Tools/jEdit/src/proofdocument/command.scala src/Tools/jEdit/src/proofdocument/markup_node.scala src/Tools/jEdit/src/proofdocument/proof_document.scala src/Tools/jEdit/src/proofdocument/prover.scala src/Tools/jEdit/src/proofdocument/state.scala src/Tools/jEdit/src/proofdocument/theory_view.scala src/Tools/jEdit/src/proofdocument/token.scala src/Tools/jEdit/src/prover/Command.scala src/Tools/jEdit/src/prover/MarkupNode.scala src/Tools/jEdit/src/prover/Prover.scala src/Tools/jEdit/src/prover/State.scala

2009-12-08 wenzelm [Tue, 08 Dec 2009 14:29:29 +0100] rev 34758
removed remains of Flying Saucer;
src/Tools/jEdit/nbproject/project.properties src/Tools/jEdit/src/jedit/SelectionActions.scala

2009-12-08 wenzelm [Tue, 08 Dec 2009 12:10:55 +0100] rev 34757
manipulate document within Swing thread only -- potentially slow;
src/Tools/jEdit/src/jedit/StateViewDockable.scala

2009-12-08 wenzelm [Tue, 08 Dec 2009 12:09:17 +0100] rev 34756
tuned JVM settings;
src/Tools/jEdit/dist-template/etc/settings

2009-12-07 wenzelm [Mon, 07 Dec 2009 23:01:13 +0100] rev 34755
misc updates;
src/Tools/jEdit/README_BUILD

2009-12-07 wenzelm [Mon, 07 Dec 2009 23:00:30 +0100] rev 34754
obsolete;
src/Tools/jEdit/src/jedit/StateViewDockable.scala src/Tools/jEdit/src/renderer/UserAgent.scala

2009-12-07 wenzelm [Mon, 07 Dec 2009 22:59:48 +0100] rev 34753
use IsabelleText by default;
src/Tools/jEdit/dist-template/properties/jedit.props

2009-12-07 wenzelm [Mon, 07 Dec 2009 22:41:32 +0100] rev 34752
misc updates;
src/Tools/jEdit/plugin/Isabelle.props

2009-12-07 wenzelm [Mon, 07 Dec 2009 22:41:15 +0100] rev 34751
simplified treatment of Isabelle fonts, via Isabelle_System.register_fonts (requires Java 1.6);
src/Tools/jEdit/src/jedit/OptionPane.scala src/Tools/jEdit/src/jedit/Plugin.scala