2014-07-23 wenzelm [Wed, 23 Jul 2014 11:19:24 +0200] rev 57612
clarified module name: facilitate alternative GUI frameworks;
src/Pure/GUI/gui.scala src/Pure/GUI/gui_thread.scala src/Pure/GUI/swing_thread.scala src/Pure/GUI/system_dialog.scala src/Pure/PIDE/query_operation.scala src/Pure/Tools/ml_statistics.scala src/Pure/Tools/task_statistics.scala src/Pure/build-jars src/Tools/Graphview/src/mutator_event.scala src/Tools/jEdit/src/active.scala src/Tools/jEdit/src/completion_popup.scala src/Tools/jEdit/src/document_model.scala src/Tools/jEdit/src/document_view.scala src/Tools/jEdit/src/font_info.scala src/Tools/jEdit/src/graphview_dockable.scala src/Tools/jEdit/src/info_dockable.scala src/Tools/jEdit/src/isabelle.scala src/Tools/jEdit/src/isabelle_logic.scala src/Tools/jEdit/src/isabelle_sidekick.scala src/Tools/jEdit/src/jedit_editor.scala src/Tools/jEdit/src/jedit_lib.scala src/Tools/jEdit/src/jedit_options.scala src/Tools/jEdit/src/jedit_resources.scala src/Tools/jEdit/src/monitor_dockable.scala src/Tools/jEdit/src/output_dockable.scala src/Tools/jEdit/src/plugin.scala src/Tools/jEdit/src/pretty_text_area.scala src/Tools/jEdit/src/pretty_tooltip.scala src/Tools/jEdit/src/protocol_dockable.scala src/Tools/jEdit/src/query_dockable.scala src/Tools/jEdit/src/raw_output_dockable.scala src/Tools/jEdit/src/rich_text_area.scala src/Tools/jEdit/src/scala_console.scala src/Tools/jEdit/src/simplifier_trace_dockable.scala src/Tools/jEdit/src/simplifier_trace_window.scala src/Tools/jEdit/src/sledgehammer_dockable.scala src/Tools/jEdit/src/spell_checker.scala src/Tools/jEdit/src/symbols_dockable.scala src/Tools/jEdit/src/syslog_dockable.scala src/Tools/jEdit/src/text_overview.scala src/Tools/jEdit/src/theories_dockable.scala src/Tools/jEdit/src/timing_dockable.scala src/Tools/jEdit/src/token_markup.scala

2014-07-23 wenzelm [Wed, 23 Jul 2014 11:08:24 +0200] rev 57611
proper change of perspective for removed nodes (stemming from closed buffers);
src/Tools/jEdit/src/jedit_editor.scala src/Tools/jEdit/src/plugin.scala

2014-07-23 wenzelm [Wed, 23 Jul 2014 10:02:19 +0200] rev 57610
tuned signature;
src/Pure/PIDE/document.scala src/Tools/jEdit/src/document_model.scala

2014-07-22 wenzelm [Tue, 22 Jul 2014 22:18:50 +0200] rev 57609
some robustification of console output;
src/Tools/jEdit/src/scala_console.scala

2014-07-22 wenzelm [Tue, 22 Jul 2014 20:03:52 +0200] rev 57608
updated ErrorList.jar;
Admin/components/components.sha1 Admin/components/main

2014-07-22 wenzelm [Tue, 22 Jul 2014 14:52:35 +0200] rev 57607
discontinued presumable workarounds for extra inter-theory space, which are obsolete since 0e5fa27d3293;
src/Doc/Locales/Examples1.thy src/Doc/Locales/Examples2.thy src/Doc/Locales/Examples3.thy

2014-07-22 wenzelm [Tue, 22 Jul 2014 14:36:31 +0200] rev 57606
evade problems with MikTeX on Windows;
src/Doc/Locales/document/root.tex

2014-07-22 wenzelm [Tue, 22 Jul 2014 14:03:00 +0200] rev 57605
tuned messages;
src/Pure/Isar/isar_cmd.ML src/Pure/Isar/isar_syn.ML src/Pure/Isar/proof_display.ML src/Pure/Tools/print_operation.ML

2014-07-22 wenzelm [Tue, 22 Jul 2014 13:36:51 +0200] rev 57604
support multiple selected print operations instead of slightly odd "menu";
src/Pure/Tools/print_operation.ML src/Tools/jEdit/src/query_dockable.scala

2014-07-22 wenzelm [Tue, 22 Jul 2014 12:05:53 +0200] rev 57603
more default imports;
src/Doc/JEdit/JEdit.thy src/Tools/jEdit/src/scala_console.scala