2010-11-15 wenzelm [Mon, 15 Nov 2010 17:39:23 +0100] rev 40546
eliminated old-style sed in favour of builtin regex matching;
lib/scripts/polyml-version

2010-11-15 wenzelm [Mon, 15 Nov 2010 17:14:43 +0100] rev 40545
more robust treatment of spaces in file names;
etc/settings src/HOL/Tools/Predicate_Compile/etc/settings src/Tools/Code/etc/settings

2010-11-15 wenzelm [Mon, 15 Nov 2010 15:41:58 +0100] rev 40544
tuned error messages;
lib/scripts/run-polyml lib/scripts/run-smlnj

2010-11-15 wenzelm [Mon, 15 Nov 2010 14:59:53 +0100] rev 40543
merged

2010-11-15 haftmann [Mon, 15 Nov 2010 14:59:21 +0100] rev 40542
re-generalized type of option_rel and sum_rel (accident from 2989f9f3aa10)
src/HOL/Library/Quotient_Option.thy src/HOL/Library/Quotient_Sum.thy

2010-11-15 haftmann [Mon, 15 Nov 2010 14:14:38 +0100] rev 40541
re-generalized type of prod_rel (accident from 2989f9f3aa10)
src/HOL/Library/Quotient_Product.thy

2010-11-15 boehmes [Mon, 15 Nov 2010 00:20:36 +0100] rev 40540
formal dependency on b2i files
src/HOL/Boogie/Examples/Boogie_Dijkstra.thy src/HOL/Boogie/Examples/Boogie_Max.thy src/HOL/Boogie/Examples/Boogie_Max_Stepwise.thy src/HOL/Boogie/Examples/VCC_Max.thy src/HOL/Boogie/Tools/boogie_commands.ML

2010-11-14 boehmes [Sun, 14 Nov 2010 23:55:25 +0100] rev 40539
merged

2010-11-12 boehmes [Fri, 12 Nov 2010 17:28:43 +0100] rev 40538
check the return code of the SMT solver and raise an exception if the prover failed
src/HOL/Tools/SMT/smt_failure.ML src/HOL/Tools/SMT/smt_solver.ML src/Tools/cache_io.ML

2010-11-14 wenzelm [Sun, 14 Nov 2010 17:33:28 +0100] rev 40537
updated README;
src/Tools/jEdit/README