9 months ago wenzelm [Sun, 22 Jul 2018 19:57:42 +0200] rev 68680
eliminated spurious Unicode;
src/HOL/Real_Asymp/Manual/Real_Asymp_Doc.thy src/HOL/Real_Asymp/Real_Asymp_Examples.thy

9 months ago wenzelm [Sun, 22 Jul 2018 19:55:26 +0200] rev 68679
merged

9 months ago wenzelm [Sun, 22 Jul 2018 19:28:18 +0200] rev 68678
updated to kodkodi-1.5.2-1: modernized settings and renamed directory (same executables);
Admin/components/components.sha1 Admin/components/main

9 months ago eberlm <eberlm@in.tum.de> [Sun, 22 Jul 2018 19:29:51 +0200] rev 68677
Moved Real_Asymp manual
src/Doc/ROOT src/Doc/Real_Asymp/Real_Asymp_Doc.thy src/Doc/Real_Asymp/document/root.tex src/Doc/Real_Asymp/document/style.sty src/HOL/ROOT src/HOL/Real_Asymp/Manual/Real_Asymp_Doc.thy src/HOL/Real_Asymp/Manual/document/root.tex src/HOL/Real_Asymp/Manual/document/style.sty

9 months ago wenzelm [Sun, 22 Jul 2018 14:15:04 +0200] rev 68676
merged

9 months ago wenzelm [Sun, 22 Jul 2018 14:01:52 +0200] rev 68675
updated to polyml-5.7.1-7 (see also afa7c5a239e6);
Admin/components/components.sha1 Admin/components/main Admin/polyml/README src/Pure/Concurrent/synchronized.ML

9 months ago paulson [Sun, 22 Jul 2018 13:29:41 +0200] rev 68674
merged

9 months ago paulson <lp15@cam.ac.uk> [Sun, 22 Jul 2018 13:29:24 +0200] rev 68673
de-applying
src/HOL/Algebra/QuotRing.thy src/HOL/Algebra/Ring.thy

9 months ago wenzelm [Sun, 22 Jul 2018 13:00:38 +0200] rev 68672
avoid Unicode conflict with \<pounds>;
src/HOL/TPTP/TPTP_Parser_Test.thy

9 months ago paulson <lp15@cam.ac.uk> [Sat, 21 Jul 2018 23:25:22 +0200] rev 68671
fixing a theorem statement, etc.
src/HOL/MacLaurin.thy