2014-12-31 wenzelm [Wed, 31 Dec 2014 14:13:11 +0100] rev 59207
more explict and generic field names
src/Pure/General/graph_display.ML src/Pure/Isar/isar_cmd.ML src/Pure/Thy/present.ML src/Pure/Tools/class_deps.ML src/Pure/Tools/thm_deps.ML src/Tools/Code/code_thingol.ML

2014-12-31 wenzelm [Wed, 31 Dec 2014 14:08:50 +0100] rev 59206
uniform variable name for presentation graphs, to distinguish from values of type Graph.T
src/Pure/Isar/isar_cmd.ML src/Pure/Tools/class_deps.ML src/Tools/Code/code_thingol.ML

2014-12-31 wenzelm [Wed, 31 Dec 2014 14:05:06 +0100] rev 59205
stripped ad-hoc diagnostic facility
src/HOL/Tools/Predicate_Compile/predicate_compile.ML src/HOL/Tools/Predicate_Compile/predicate_compile_data.ML

2014-12-31 kleing [Wed, 31 Dec 2014 11:27:26 +1100] rev 59204
update map definition in Prog_Prove for new datatype package
src/Doc/Prog_Prove/Bool_nat_list.thy

2014-12-30 wenzelm [Tue, 30 Dec 2014 23:45:03 +0100] rev 59203
explicit message channel for "legacy", which is nonetheless a variant of "warning";
src/Pure/General/output.ML src/Pure/PIDE/command.scala src/Pure/PIDE/markup.ML src/Pure/PIDE/markup.scala src/Pure/PIDE/protocol.scala src/Pure/ROOT.ML src/Pure/System/isabelle_process.ML src/Tools/jEdit/etc/options src/Tools/jEdit/src/rendering.scala

2014-12-30 wenzelm [Tue, 30 Dec 2014 14:11:06 +0100] rev 59202
clarified source location;
src/Pure/build-jars src/Tools/Graphview/graph_panel.scala src/Tools/Graphview/layout_pendulum.scala src/Tools/Graphview/main_panel.scala src/Tools/Graphview/model.scala src/Tools/Graphview/mutator.scala src/Tools/Graphview/mutator_dialog.scala src/Tools/Graphview/mutator_event.scala src/Tools/Graphview/popups.scala src/Tools/Graphview/shapes.scala src/Tools/Graphview/src/graph_panel.scala src/Tools/Graphview/src/layout_pendulum.scala src/Tools/Graphview/src/main_panel.scala src/Tools/Graphview/src/model.scala src/Tools/Graphview/src/mutator.scala src/Tools/Graphview/src/mutator_dialog.scala src/Tools/Graphview/src/mutator_event.scala src/Tools/Graphview/src/popups.scala src/Tools/Graphview/src/shapes.scala src/Tools/Graphview/src/visualizer.scala src/Tools/Graphview/visualizer.scala

2014-12-30 wenzelm [Tue, 30 Dec 2014 11:50:34 +0100] rev 59201
added system property isabelle.laf, notably for initial system dialog;
let L&F take care of font scaling, e.g. GTK+ for Linux where X11 dpi scaling does not really work;
NEWS src/Pure/GUI/gui.scala src/Pure/GUI/system_dialog.scala

2014-12-30 wenzelm [Tue, 30 Dec 2014 10:38:10 +0100] rev 59200
NEWS;
NEWS

2014-12-29 wenzelm [Mon, 29 Dec 2014 21:02:49 +0100] rev 59199
tuned;
src/HOL/List.thy src/HOL/MicroJava/BV/Correct.thy src/HOL/MicroJava/Comp/CorrComp.thy src/HOL/MicroJava/Comp/CorrCompTp.thy src/HOL/MicroJava/Comp/LemmasComp.thy src/HOL/MicroJava/J/Conform.thy src/HOL/MicroJava/J/Example.thy src/HOL/MicroJava/J/WellForm.thy

2014-12-29 wenzelm [Mon, 29 Dec 2014 20:51:42 +0100] rev 59198
clarified execution graph traversal: stable imports are required to proceed, e.g. relevant to avoid crash of init_theory after discontinued execution;
src/Pure/PIDE/document.ML