2014-03-03 blanchet [Mon, 03 Mar 2014 22:33:22 +0100] rev 55888
removed nonstandard models from Nitpick
src/Doc/Nitpick/document/root.tex src/HOL/Nitpick_Examples/Manual_Nits.thy src/HOL/Nitpick_Examples/Mono_Nits.thy src/HOL/Tools/Nitpick/kodkod.ML src/HOL/Tools/Nitpick/nitpick.ML src/HOL/Tools/Nitpick/nitpick_commands.ML src/HOL/Tools/Nitpick/nitpick_hol.ML src/HOL/Tools/Nitpick/nitpick_kodkod.ML src/HOL/Tools/Nitpick/nitpick_model.ML src/HOL/Tools/Nitpick/nitpick_mono.ML src/HOL/Tools/Nitpick/nitpick_nut.ML src/HOL/Tools/Nitpick/nitpick_preproc.ML src/HOL/Tools/Nitpick/nitpick_scope.ML

2014-03-03 nipkow [Mon, 03 Mar 2014 16:44:46 +0100] rev 55887
more code lemmas by Rene Thiemann
src/HOL/Library/DAList_Multiset.thy

2014-03-03 wenzelm [Mon, 03 Mar 2014 15:14:00 +0100] rev 55886
merged;

2014-03-03 wenzelm [Mon, 03 Mar 2014 13:54:47 +0100] rev 55885
tuned proofs;
src/HOL/Decision_Procs/Cooper.thy

2014-03-03 wenzelm [Mon, 03 Mar 2014 12:54:12 +0100] rev 55884
tuned signature -- emphasize symbol positions (prover) vs. decoded text offsets (editor);
src/Pure/General/position.scala src/Pure/General/symbol.scala src/Pure/PIDE/command.scala src/Pure/PIDE/editor.scala src/Pure/PIDE/protocol.scala src/Tools/jEdit/src/jedit_editor.scala

2014-03-03 wenzelm [Mon, 03 Mar 2014 12:24:14 +0100] rev 55883
recovered position hyperlinks from 65c9968286d5 (NB: "def" position vs. regular one);
src/Tools/jEdit/src/rendering.scala

2014-03-03 wenzelm [Mon, 03 Mar 2014 12:18:59 +0100] rev 55882
tuned messages and markup;
src/Pure/Thy/thy_load.ML

2014-03-03 wenzelm [Mon, 03 Mar 2014 12:14:47 +0100] rev 55881
test polyml-svn;
Admin/isatest/settings/at-poly-test

2014-03-03 wenzelm [Mon, 03 Mar 2014 11:58:55 +0100] rev 55880
README is optional in test compilations;
src/Doc/JEdit/JEdit.thy

2014-03-03 wenzelm [Mon, 03 Mar 2014 11:58:07 +0100] rev 55879
clarified path checks: avoid crash of rendering due to spurious errors;
src/Pure/General/path.scala src/Pure/Isar/parse.scala src/Pure/Thy/thy_load.scala src/Tools/jEdit/src/jedit_editor.scala src/Tools/jEdit/src/rendering.scala