12 months ago paulson <lp15@cam.ac.uk> [Wed, 06 Jun 2018 14:25:53 +0100] rev 68399
resolution of name clashes in Algebra
src/HOL/Algebra/Divisibility.thy src/HOL/Algebra/Group.thy src/HOL/Algebra/IntRing.thy src/HOL/Algebra/More_Group.thy src/HOL/Algebra/Ring.thy src/HOL/Algebra/Sylow.thy

12 months ago wenzelm [Wed, 06 Jun 2018 14:23:13 +0200] rev 68398
merged

12 months ago wenzelm [Wed, 06 Jun 2018 14:22:54 +0200] rev 68397
isabelle update_comments;
src/HOL/Real_Vector_Spaces.thy src/HOL/Vector_Spaces.thy

12 months ago wenzelm [Wed, 06 Jun 2018 14:18:31 +0200] rev 68396
tuned header;
src/Pure/General/cache.scala

12 months ago wenzelm [Wed, 06 Jun 2018 14:18:25 +0200] rev 68395
updated for release;
src/Tools/jEdit/src-base/Isabelle_Base.props

12 months ago wenzelm [Wed, 06 Jun 2018 14:16:52 +0200] rev 68394
updated for release;
src/Doc/JEdit/JEdit.thy src/Doc/System/Environment.thy src/Doc/System/Misc.thy

12 months ago wenzelm [Wed, 06 Jun 2018 14:14:37 +0200] rev 68393
misc tuning and updates for release;
NEWS

12 months ago wenzelm [Wed, 06 Jun 2018 13:44:53 +0200] rev 68392
updated for release;
src/Tools/jEdit/src/Isabelle.props

12 months ago wenzelm [Wed, 06 Jun 2018 11:49:16 +0200] rev 68391
updated for release;
tuned;
ANNOUNCE CONTRIBUTORS COPYRIGHT NEWS

12 months ago wenzelm [Wed, 06 Jun 2018 11:41:54 +0200] rev 68390
eliminated suspicious Unicode;
src/HOL/Library/Code_Lazy.thy