6 weeks ago wenzelm [Thu, 07 Dec 2017 20:55:03 +0100] rev 67159
more robust;
src/HOL/ROOT

6 weeks ago wenzelm [Thu, 07 Dec 2017 20:05:08 +0100] rev 67158
merged

6 weeks ago wenzelm [Thu, 07 Dec 2017 19:36:48 +0100] rev 67157
clarified document preparation vs. skip_proofs;
NEWS src/Pure/Isar/proof.ML src/Pure/Isar/toplevel.ML

6 weeks ago nipkow [Thu, 07 Dec 2017 18:04:52 +0100] rev 67156
"important" annotations
src/HOL/Analysis/L2_Norm.thy

6 weeks ago nipkow [Thu, 07 Dec 2017 15:48:50 +0100] rev 67155
canonical name
src/HOL/Analysis/Cartesian_Euclidean_Space.thy src/HOL/Analysis/Connected.thy src/HOL/Analysis/Convex_Euclidean_Space.thy src/HOL/Analysis/Finite_Cartesian_Product.thy src/HOL/Analysis/L2_Norm.thy src/HOL/Analysis/Topology_Euclidean_Space.thy

6 weeks ago wenzelm [Thu, 07 Dec 2017 11:14:32 +0100] rev 67154
tuned output in isar-ref manual;
lib/texinputs/isabellesym.sty

6 weeks ago wenzelm [Thu, 07 Dec 2017 11:12:55 +0100] rev 67153
obsolete (used to be part of old src/Pure/codegen.ML);
lib/texinputs/isabellesym.sty

6 weeks ago wenzelm [Wed, 06 Dec 2017 21:43:20 +0100] rev 67152
just one session for bulky HOL-Analysis documents;
src/Doc/ROOT src/HOL/ROOT

6 weeks ago wenzelm [Wed, 06 Dec 2017 21:30:26 +0100] rev 67151
more default tags;
lib/texinputs/isabelle.sty src/Doc/System/Presentation.thy

6 weeks ago wenzelm [Wed, 06 Dec 2017 21:01:01 +0100] rev 67150
merged