23 months ago wenzelm [Sat, 27 Feb 2016 19:47:53 +0100] rev 62437
moved getopts to Scala;
lib/Tools/options src/Pure/System/options.scala

23 months ago wenzelm [Sat, 27 Feb 2016 17:01:21 +0100] rev 62436
no tracing SPAM, and thus more visible warnings;
src/HOL/Import/import_rule.ML

23 months ago wenzelm [Sat, 27 Feb 2016 16:52:30 +0100] rev 62435
moved getopts to Scala;
Admin/lib/Tools/build_doc src/Pure/Tools/build_doc.scala

23 months ago wenzelm [Sat, 27 Feb 2016 16:51:36 +0100] rev 62434
tuned messages;
src/Pure/System/getopts.scala

23 months ago wenzelm [Sat, 27 Feb 2016 16:37:47 +0100] rev 62433
more operations (like Markup.parse_bool in ML);
src/Pure/General/properties.scala

23 months ago wenzelm [Sat, 27 Feb 2016 16:37:06 +0100] rev 62432
tuned messages;
src/Pure/System/getopts.scala

23 months ago wenzelm [Sat, 27 Feb 2016 16:19:02 +0100] rev 62431
support for command-line options as in GNU bash;
src/Pure/System/getopts.scala src/Pure/build-jars

23 months ago haftmann [Fri, 26 Feb 2016 22:44:11 +0100] rev 62430
more succint formulation of membership for multisets, similar to lists;
discontinued ASCII notation for multiset membership;
more theorems on multisets, dropping redundant interpretation;
modernized notation;
some annotations concerning future work
NEWS src/HOL/Algebra/Divisibility.thy src/HOL/Library/Multiset.thy src/HOL/Library/Multiset_Order.thy src/HOL/Number_Theory/UniqueFactorization.thy src/HOL/UNITY/Comp/AllocBase.thy src/HOL/UNITY/Follows.thy src/HOL/ex/Quicksort.thy

23 months ago Manuel Eberl <eberlm@in.tum.de> [Fri, 26 Feb 2016 22:15:09 +0100] rev 62429
Tuned Euclidean Rings/GCD rings
src/HOL/Codegenerator_Test/Generate_Efficient_Datastructures.thy src/HOL/GCD.thy src/HOL/Isar_Examples/Fibonacci.thy src/HOL/Number_Theory/Cong.thy src/HOL/Number_Theory/Euclidean_Algorithm.thy src/HOL/Number_Theory/Fib.thy src/HOL/Number_Theory/Gauss.thy src/HOL/Number_Theory/Pocklington.thy src/HOL/Number_Theory/Primes.thy src/HOL/Number_Theory/UniqueFactorization.thy

23 months ago Manuel Eberl <eberlm@in.tum.de> [Fri, 26 Feb 2016 18:33:01 +0100] rev 62428
Fixed code equations for Gcd/Lcm
src/HOL/Number_Theory/Euclidean_Algorithm.thy