19 months ago wenzelm [Wed, 11 Oct 2017 21:41:11 +0200] rev 66846
back to build_polyml_component according to 54c6ec4166a4 (amending 808e6ddb5a50);
Admin/polyml/CHECKLIST

19 months ago wenzelm [Wed, 11 Oct 2017 21:36:53 +0200] rev 66845
reactivated unfinished tool (cf. a3a847c4fbdb);
src/Pure/System/isabelle_tool.scala

19 months ago wenzelm [Wed, 11 Oct 2017 20:57:12 +0200] rev 66844
tuned whitespace;
NEWS

19 months ago wenzelm [Wed, 11 Oct 2017 20:55:11 +0200] rev 66843
clarified meta_digest;
NEWS src/Pure/Thy/sessions.scala

19 months ago wenzelm [Wed, 11 Oct 2017 20:46:38 +0200] rev 66842
tuned;
src/HOL/ROOT

19 months ago wenzelm [Wed, 11 Oct 2017 20:16:00 +0200] rev 66841
added isablle build option -f;
NEWS src/Doc/System/Sessions.thy src/Pure/Tools/build.scala

19 months ago haftmann [Mon, 09 Oct 2017 19:10:52 +0200] rev 66840
canonical multiplicative euclidean size
src/HOL/Computational_Algebra/Polynomial_Factorial.thy src/HOL/Euclidean_Division.thy src/HOL/Parity.thy

19 months ago haftmann [Mon, 09 Oct 2017 19:10:51 +0200] rev 66839
clarified parity
src/HOL/Code_Numeral.thy src/HOL/Euclidean_Division.thy src/HOL/Parity.thy

19 months ago haftmann [Mon, 09 Oct 2017 19:10:49 +0200] rev 66838
clarified uniqueness criterion for euclidean rings
src/HOL/Code_Numeral.thy src/HOL/Computational_Algebra/Field_as_Ring.thy src/HOL/Computational_Algebra/Polynomial_Factorial.thy src/HOL/Enum.thy src/HOL/Euclidean_Division.thy

19 months ago haftmann [Mon, 09 Oct 2017 19:10:48 +0200] rev 66837
tuned proofs
src/HOL/Computational_Algebra/Primes.thy src/HOL/Divides.thy src/HOL/Euclidean_Division.thy src/HOL/Library/Infinite_Set.thy src/HOL/Number_Theory/Cong.thy src/HOL/Number_Theory/Quadratic_Reciprocity.thy src/HOL/Number_Theory/Residues.thy