2010-11-28 wenzelm [Sun, 28 Nov 2010 17:58:38 +0100] rev 40789
updated reference platforms;
Admin/PLATFORMS

2010-11-28 wenzelm [Sun, 28 Nov 2010 16:42:54 +0100] rev 40788
merged

2010-11-28 nipkow [Sun, 28 Nov 2010 15:21:02 +0100] rev 40787
merged

2010-11-28 nipkow [Sun, 28 Nov 2010 15:20:51 +0100] rev 40786
gave more standard finite set rules simp and intro attribute
src/HOL/Algebra/FiniteProduct.thy src/HOL/Big_Operators.thy src/HOL/Finite_Set.thy src/HOL/IMPP/Hoare.thy src/HOL/Library/Infinite_Set.thy src/HOL/List.thy src/HOL/Multivariate_Analysis/Cartesian_Euclidean_Space.thy src/HOL/Multivariate_Analysis/Euclidean_Space.thy src/HOL/Old_Number_Theory/Euler.thy src/HOL/Old_Number_Theory/EulerFermat.thy src/HOL/Old_Number_Theory/Finite2.thy src/HOL/Old_Number_Theory/Gauss.thy src/HOL/Probability/Lebesgue_Integration.thy src/HOL/ex/While_Combinator_Example.thy

2010-11-28 wenzelm [Sun, 28 Nov 2010 16:35:56 +0100] rev 40785
more permissive Isabelle_System.mkdir;
exported File.is_dir (weak test);
src/Pure/General/file.ML src/Pure/System/isabelle_system.ML

2010-11-28 wenzelm [Sun, 28 Nov 2010 16:15:31 +0100] rev 40784
added 'syntax_declaration' command;
doc-src/IsarRef/Thy/Spec.thy doc-src/IsarRef/Thy/document/Spec.tex etc/isar-keywords-ZF.el etc/isar-keywords.el src/Pure/Isar/isar_cmd.ML src/Pure/Isar/isar_syn.ML

2010-11-28 wenzelm [Sun, 28 Nov 2010 15:34:35 +0100] rev 40783
more conventional exception propagation -- taking into account Simple_Thread.fork wrapping;
src/Pure/Concurrent/bash.ML

2010-11-28 wenzelm [Sun, 28 Nov 2010 15:28:48 +0100] rev 40782
superficial tuning;
src/Pure/Isar/generic_target.ML src/Pure/Isar/locale.ML src/Pure/Isar/named_target.ML src/Pure/Isar/overloading.ML

2010-11-28 wenzelm [Sun, 28 Nov 2010 14:01:20 +0100] rev 40781
updated versions;
Admin/CHECKLIST

2010-11-28 wenzelm [Sun, 28 Nov 2010 13:58:29 +0100] rev 40780
recovered Isabelle2009-2 NEWS -- published part is read-only;
NEWS