17 hours ago wenzelm [Mon, 25 May 2020 22:37:22 +0200] rev 71893 default tip
more antiquotations;
src/Doc/ROOT src/Doc/System/Sessions.thy

17 hours ago wenzelm [Mon, 25 May 2020 22:37:14 +0200] rev 71892
obsolete;
src/Doc/System/Scala.thy

17 hours ago wenzelm [Mon, 25 May 2020 22:20:21 +0200] rev 71891
check free-form Scala source;
src/Pure/System/scala_compiler.ML

19 hours ago wenzelm [Mon, 25 May 2020 20:52:55 +0200] rev 71890
clarified static_check: avoid accidental evaluation;
src/Pure/System/scala_compiler.ML

19 hours ago wenzelm [Mon, 25 May 2020 20:46:50 +0200] rev 71889
omit pointless memoing: Scala compiler is rather bulky anyway;
src/Pure/System/isabelle_system.scala src/Pure/System/scala.scala

19 hours ago wenzelm [Mon, 25 May 2020 20:43:19 +0200] rev 71888
clarified signature;
src/Pure/ROOT.ML src/Pure/System/scala.scala src/Pure/System/scala_check.ML src/Pure/System/scala_compiler.ML

21 hours ago wenzelm [Mon, 25 May 2020 19:10:38 +0200] rev 71887
antiquotations for Scala entities;
etc/symbols lib/texinputs/isabellesym.sty src/Pure/System/scala_check.ML

42 hours ago haftmann [Sun, 24 May 2020 19:57:13 +0000] rev 71886
better closeup and more consistent terminology
src/FOL/FOL.thy src/HOL/HOL.thy src/HOL/Library/Quantified_Premise_Simproc.thy src/HOL/Set.thy src/Provers/quantifier1.ML src/ZF/OrdQuant.thy src/ZF/pair.thy

43 hours ago wenzelm [Sun, 24 May 2020 21:11:23 +0200] rev 71885
merged

43 hours ago wenzelm [Sun, 24 May 2020 21:01:51 +0200] rev 71884
proper stack_limit;
src/Pure/Tools/build.ML