22 months ago traytel [Sun, 17 Dec 2017 08:42:59 +0100] rev 67222
made tactics more robust
src/HOL/Tools/BNF/bnf_def.ML src/HOL/Tools/BNF/bnf_def_tactics.ML

22 months ago wenzelm [Sat, 16 Dec 2017 22:32:04 +0100] rev 67221
tuned;
NEWS

22 months ago wenzelm [Sat, 16 Dec 2017 22:20:06 +0100] rev 67220
more markup;
multiple error output;
src/Pure/Thy/sessions.ML

22 months ago wenzelm [Sat, 16 Dec 2017 21:53:07 +0100] rev 67219
added document antiquotation @{session name};
renamed protocol function "Prover.session_base" to "Prover.init_session_base" according to the ML/Scala operation;
NEWS src/Doc/Isar_Ref/Document_Preparation.thy src/Doc/ROOT src/Doc/System/Presentation.thy src/Pure/ML/ml_process.scala src/Pure/PIDE/markup.ML src/Pure/PIDE/protocol.ML src/Pure/PIDE/protocol.scala src/Pure/PIDE/resources.ML src/Pure/Thy/sessions.scala src/Pure/Tools/build.ML src/Pure/Tools/build.scala

22 months ago wenzelm [Sat, 16 Dec 2017 20:02:40 +0100] rev 67218
more accurate parse_nat/parse_int: avoid corner cases of Int.fromString (e.g. "1.0");
src/Pure/General/value.ML

22 months ago wenzelm [Sat, 16 Dec 2017 17:23:00 +0100] rev 67217
tuned;
src/Pure/PIDE/resources.ML

22 months ago wenzelm [Sat, 16 Dec 2017 16:57:06 +0100] rev 67216
disallow theory name "ROOT";
src/Pure/Thy/sessions.scala

22 months ago wenzelm [Sat, 16 Dec 2017 16:46:01 +0100] rev 67215
PIDE markup for session ROOT files;
NEWS src/Doc/ROOT src/HOL/ROOT src/Pure/Isar/parse.ML src/Pure/PIDE/document.ML src/Pure/PIDE/resources.ML src/Pure/PIDE/resources.scala src/Pure/ROOT src/Pure/ROOT.ML src/Pure/Sessions.thy src/Pure/Thy/sessions.ML src/Pure/Thy/sessions.scala src/Pure/Thy/thy_header.scala src/Tools/jEdit/src/theories_dockable.scala

22 months ago wenzelm [Sat, 16 Dec 2017 15:15:51 +0100] rev 67214
tuned;
src/Pure/PIDE/resources.ML

22 months ago wenzelm [Sat, 16 Dec 2017 15:11:19 +0100] rev 67213
more operations;
src/Pure/General/input.ML