2009-01-19 haftmann [Mon, 19 Jan 2009 08:16:42 +0100] rev 29558
improved tackling of subclasses
src/Pure/Isar/class.ML src/Pure/Isar/class_target.ML

2009-01-19 haftmann [Mon, 19 Jan 2009 08:16:42 +0100] rev 29557
tuned proof
src/HOL/OrderedGroup.thy

2009-01-18 haftmann [Sun, 18 Jan 2009 21:40:53 +0100] rev 29556
smart path detection
Admin/churn

2009-01-18 haftmann [Sun, 18 Jan 2009 21:36:59 +0100] rev 29555
corrected user aliases
Admin/user-aliases

2009-01-18 haftmann [Sun, 18 Jan 2009 21:12:06 +0100] rev 29554
added churn script
Admin/churn Admin/user-aliases

2009-01-18 wenzelm [Sun, 18 Jan 2009 20:06:51 +0100] rev 29553
Scala wrapper for interactive Isar documents;
src/Pure/IsaMakefile src/Pure/Isar/isar_document.scala

2009-01-18 wenzelm [Sun, 18 Jan 2009 20:05:01 +0100] rev 29552
added append_list, encode_list;
tuned;
src/Pure/Tools/isabelle_syntax.scala

2009-01-18 wenzelm [Sun, 18 Jan 2009 16:42:43 +0100] rev 29551
join_results: when dependencies are resulved (but not finished yet),
always continue execution as worker thread -- improved parallelism
at the cost of some reactivity;
src/Pure/Concurrent/future.ML

2009-01-18 wenzelm [Sun, 18 Jan 2009 16:33:09 +0100] rev 29550
with_attributes: make double sure that unsafe attributes are avoided;
src/Pure/ML-Systems/multithreading_polyml.ML

2009-01-18 nipkow [Sun, 18 Jan 2009 13:58:17 +0100] rev 29549
bug fixes
src/HOLCF/Dsum.thy