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

12 months ago wenzelm [Wed, 06 Jun 2018 11:41:37 +0200] rev 68389
proper white space;
src/HOL/Parity.thy

12 months ago wenzelm [Wed, 06 Jun 2018 11:27:27 +0200] rev 68388
updated to sqlite-jdbc-3.23.1;
Admin/components/components.sha1 Admin/components/main

12 months ago nipkow [Wed, 06 Jun 2018 13:04:52 +0200] rev 68387
merged

12 months ago nipkow [Wed, 06 Jun 2018 11:12:37 +0200] rev 68386
Keep filter input syntax
src/Doc/Tutorial/Inductive/AB.thy src/HOL/Library/AList.thy src/HOL/Library/Finite_Map.thy src/HOL/Library/Multiset.thy src/HOL/MicroJava/DFA/Kildall.thy src/HOL/MicroJava/DFA/LBVComplete.thy src/HOL/MicroJava/DFA/LBVCorrect.thy src/HOL/MicroJava/DFA/LBVSpec.thy src/HOL/MicroJava/DFA/SemilatAlg.thy src/HOL/Nitpick_Examples/Manual_Nits.thy src/HOL/Nominal/Examples/W.thy src/HOL/Predicate_Compile_Examples/Predicate_Compile_Quickcheck_Examples.thy src/HOL/Probability/Probability_Mass_Function.thy src/HOL/Quickcheck_Examples/Quickcheck_Examples.thy src/HOL/Quotient_Examples/Quotient_FSet.thy src/HOL/Random.thy src/HOL/ex/Quicksort.thy src/HOL/ex/Radix_Sort.thy