2012-11-25 wenzelm [Sun, 25 Nov 2012 21:35:29 +0100] rev 50208
tuned signature;
src/Tools/jEdit/lib/Tools/jedit src/Tools/jEdit/src/actions.xml src/Tools/jEdit/src/isabelle.scala src/Tools/jEdit/src/isabelle_actions.scala src/Tools/jEdit/src/plugin.scala src/Tools/jEdit/src/session_dockable.scala

2012-11-25 wenzelm [Sun, 25 Nov 2012 21:23:20 +0100] rev 50207
tuned signature;
src/Pure/System/build.scala src/Pure/System/options.scala src/Tools/jEdit/src/document_model.scala src/Tools/jEdit/src/document_view.scala src/Tools/jEdit/src/info_dockable.scala src/Tools/jEdit/src/output_dockable.scala src/Tools/jEdit/src/plugin.scala src/Tools/jEdit/src/symbols_dockable.scala

2012-11-25 wenzelm [Sun, 25 Nov 2012 21:10:29 +0100] rev 50206
tuned signature;
uniform view.fontsize fallback;
src/Tools/jEdit/src/info_dockable.scala src/Tools/jEdit/src/isabelle_actions.scala src/Tools/jEdit/src/output_dockable.scala src/Tools/jEdit/src/plugin.scala src/Tools/jEdit/src/pretty_tooltip.scala src/Tools/jEdit/src/rendering.scala src/Tools/jEdit/src/symbols_dockable.scala

2012-11-25 wenzelm [Sun, 25 Nov 2012 20:59:32 +0100] rev 50205
renamed main plugin object to PIDE;
src/Tools/jEdit/src/document_model.scala src/Tools/jEdit/src/document_view.scala src/Tools/jEdit/src/graphview_dockable.scala src/Tools/jEdit/src/info_dockable.scala src/Tools/jEdit/src/isabelle_actions.scala src/Tools/jEdit/src/isabelle_logic.scala src/Tools/jEdit/src/isabelle_options.scala src/Tools/jEdit/src/isabelle_sidekick.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/raw_output_dockable.scala src/Tools/jEdit/src/rendering.scala src/Tools/jEdit/src/scala_console.scala src/Tools/jEdit/src/session_dockable.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/token_markup.scala

2012-11-25 wenzelm [Sun, 25 Nov 2012 20:31:49 +0100] rev 50204
tuned signature -- avoid intrusion of module Path in generic PIDE concepts;
src/Pure/PIDE/document.scala src/Pure/System/build.scala src/Pure/Thy/thy_load.scala

2012-11-25 wenzelm [Sun, 25 Nov 2012 20:17:04 +0100] rev 50203
explicit module UTF8;
src/Pure/General/file.scala src/Pure/General/sha1.scala src/Pure/System/build.scala src/Pure/System/isabelle_charset.scala src/Pure/System/isabelle_process.scala src/Pure/System/isabelle_system.scala src/Pure/System/standard_system.scala src/Pure/System/utf8.scala src/Pure/build-jars src/Tools/jEdit/src/isabelle_encoding.scala src/Tools/jEdit/src/scala_console.scala

2012-11-25 wenzelm [Sun, 25 Nov 2012 19:55:42 +0100] rev 50202
tuned file name;
src/Tools/jEdit/lib/Tools/jedit src/Tools/jEdit/src/isabelle_rendering.scala src/Tools/jEdit/src/rendering.scala

2012-11-25 wenzelm [Sun, 25 Nov 2012 19:49:24 +0100] rev 50201
Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
src/Doc/antiquote_setup.ML src/HOL/Tools/Nitpick/nitpick.ML src/HOL/Tools/Sledgehammer/sledgehammer_run.ML src/HOL/Tools/try0.ML src/Pure/General/antiquote.ML src/Pure/General/binding.ML src/Pure/General/graph_display.ML src/Pure/General/name_space.ML src/Pure/General/path.ML src/Pure/General/position.ML src/Pure/General/position.scala src/Pure/General/pretty.ML src/Pure/General/pretty.scala src/Pure/General/symbol_pos.ML src/Pure/Isar/obtain.ML src/Pure/Isar/outer_syntax.ML src/Pure/Isar/proof.ML src/Pure/Isar/proof_context.ML src/Pure/Isar/runtime.ML src/Pure/Isar/token.ML src/Pure/Isar/toplevel.ML src/Pure/ML/ml_compiler_polyml.ML src/Pure/ML/ml_context.ML src/Pure/ML/ml_lex.ML src/Pure/PIDE/command.ML src/Pure/PIDE/command.scala src/Pure/PIDE/document.ML src/Pure/PIDE/isabelle_markup.ML src/Pure/PIDE/isabelle_markup.scala src/Pure/PIDE/markup.ML src/Pure/PIDE/markup.scala src/Pure/PIDE/protocol.ML src/Pure/PIDE/protocol.scala src/Pure/PIDE/sendback.ML src/Pure/ProofGeneral/proof_general_emacs.ML src/Pure/ProofGeneral/proof_general_pgip.ML src/Pure/ROOT src/Pure/ROOT.ML src/Pure/Syntax/lexicon.ML src/Pure/Syntax/syntax.ML src/Pure/Syntax/syntax_phases.ML src/Pure/Syntax/term_position.ML src/Pure/System/invoke_scala.ML src/Pure/System/isabelle_process.ML src/Pure/System/isabelle_process.scala src/Pure/System/session.scala src/Pure/Thy/html.ML src/Pure/Thy/html.scala src/Pure/Thy/latex.ML src/Pure/Thy/thy_load.ML ...

2012-11-25 wenzelm [Sun, 25 Nov 2012 18:50:13 +0100] rev 50200
prefer strict error;
src/Tools/jEdit/src/isabelle_rendering.scala

2012-11-25 wenzelm [Sun, 25 Nov 2012 18:47:33 +0100] rev 50199
quasi-abstract module Rendering, with Isabelle-specific implementation;
src/Tools/jEdit/src/document_view.scala src/Tools/jEdit/src/graphview_dockable.scala src/Tools/jEdit/src/isabelle_rendering.scala src/Tools/jEdit/src/pretty_text_area.scala src/Tools/jEdit/src/pretty_tooltip.scala src/Tools/jEdit/src/rich_text_area.scala src/Tools/jEdit/src/token_markup.scala