19 months ago wenzelm [Tue, 16 Jan 2018 15:42:21 +0100] rev 67448
more documentation;
NEWS src/Doc/Isar_Ref/Inner_Syntax.thy src/Doc/Isar_Ref/Outer_Syntax.thy

19 months ago wenzelm [Tue, 16 Jan 2018 11:30:03 +0100] rev 67447
clarified markup;
src/Tools/jEdit/src/jedit_rendering.scala

19 months ago wenzelm [Tue, 16 Jan 2018 11:27:52 +0100] rev 67446
discontinued old form of marginal comments;
NEWS src/Pure/Isar/outer_syntax.ML src/Pure/Isar/token.ML src/Pure/Isar/token.scala src/Pure/PIDE/command.ML src/Pure/PIDE/command.scala src/Pure/Pure.thy src/Pure/Thy/thy_output.ML

19 months ago wenzelm [Tue, 16 Jan 2018 09:58:17 +0100] rev 67445
tuned document;
src/HOL/UNITY/Comp/Alloc.thy src/ZF/UNITY/Mutex.thy

19 months ago wenzelm [Tue, 16 Jan 2018 09:58:06 +0100] rev 67444
clarified comments;
src/HOL/Hoare/Pointer_Examples.thy src/HOL/Hoare/Pointers0.thy src/HOL/Hoare/Separation.thy

19 months ago wenzelm [Tue, 16 Jan 2018 09:30:00 +0100] rev 67443
standardized towards new-style formal comments: isabelle update_comments;
src/CCL/Gfp.thy src/CCL/Lfp.thy src/CTT/CTT.thy src/Doc/Eisbach/Manual.thy src/Doc/Functions/Functions.thy src/Doc/Isar_Ref/Synopsis.thy src/Doc/Logics_ZF/FOL_examples.thy src/Doc/Logics_ZF/IFOL_examples.thy src/Doc/Logics_ZF/If.thy src/Doc/Logics_ZF/ZF_examples.thy src/Doc/Prog_Prove/Isar.thy src/Doc/Sugar/Sugar.thy src/Doc/Tutorial/Documents/Documents.thy src/Doc/Tutorial/Protocol/Event.thy src/Doc/Tutorial/Protocol/Message.thy src/Doc/Tutorial/Rules/Basic.thy src/Doc/Tutorial/Rules/TPrimes.thy src/Doc/Tutorial/Rules/Tacticals.thy src/Doc/Tutorial/Types/Numbers.thy src/FOL/ex/Intuitionistic.thy src/FOL/ex/Locale_Test/Locale_Test1.thy src/FOLP/ex/Intuitionistic.thy src/HOL/Algebra/AbelCoset.thy src/HOL/Algebra/Bij.thy src/HOL/Algebra/Coset.thy src/HOL/Algebra/Divisibility.thy src/HOL/Algebra/Group.thy src/HOL/Algebra/Ideal.thy src/HOL/Algebra/IntRing.thy src/HOL/Algebra/Lattice.thy src/HOL/Algebra/QuotRing.thy src/HOL/Algebra/RingHom.thy src/HOL/Analysis/Brouwer_Fixpoint.thy src/HOL/Analysis/Cauchy_Integral_Theorem.thy src/HOL/Analysis/Complex_Transcendental.thy src/HOL/Analysis/Conformal_Mappings.thy src/HOL/Analysis/Improper_Integral.thy src/HOL/Analysis/Linear_Algebra.thy src/HOL/Analysis/Path_Connected.thy src/HOL/Analysis/Starlike.thy src/HOL/Analysis/Tagged_Division.thy src/HOL/Analysis/Topology_Euclidean_Space.thy src/HOL/Auth/CertifiedEmail.thy src/HOL/Auth/Event.thy src/HOL/Auth/KerberosIV.thy src/HOL/Auth/KerberosIV_Gets.thy src/HOL/Auth/KerberosV.thy src/HOL/Auth/Message.thy src/HOL/Auth/OtwayRees.thy src/HOL/Auth/OtwayRees_AN.thy ...

19 months ago wenzelm [Tue, 16 Jan 2018 09:12:16 +0100] rev 67442
uniform treatment of old-style and new-style comments;
src/Pure/Tools/update_comments.scala

19 months ago wenzelm [Tue, 16 Jan 2018 09:08:06 +0100] rev 67441
tuned signature;
src/Pure/Isar/token.scala

19 months ago wenzelm [Mon, 15 Jan 2018 23:03:01 +0100] rev 67440
clarified markup;
src/Pure/Isar/token.ML src/Pure/Syntax/lexicon.ML

19 months ago wenzelm [Mon, 15 Jan 2018 22:46:04 +0100] rev 67439
more uniform support for formal comments in outer syntax, notably \<^cancel> and \<^latex>;
src/Pure/Isar/outer_syntax.ML src/Pure/Isar/token.ML src/Pure/Isar/token.scala src/Pure/Thy/thy_output.ML src/Tools/jEdit/src/jedit_rendering.scala