2008-09-07 wenzelm [Sun, 07 Sep 2008 17:46:44 +0200] rev 28152
*** empty log message ***
src/Pure/ML-Systems/polyml-5.1.ML src/Pure/ML-Systems/polyml.ML src/Pure/ML-Systems/thread_dummy.ML

2008-09-07 wenzelm [Sun, 07 Sep 2008 17:46:43 +0200] rev 28151
explicit use of universal.ML and dummy_thread.ML;
src/Pure/ML-Systems/polyml-4.1.3.ML src/Pure/ML-Systems/polyml-4.1.4.ML src/Pure/ML-Systems/polyml-4.2.0.ML src/Pure/ML-Systems/polyml-5.0.ML src/Pure/ML-Systems/polyml_common.ML src/Pure/ML-Systems/smlnj.ML

2008-09-07 wenzelm [Sun, 07 Sep 2008 17:46:41 +0200] rev 28150
added no_interrupts;
tuned;
src/Pure/ML-Systems/multithreading_polyml.ML

2008-09-07 wenzelm [Sun, 07 Sep 2008 17:46:40 +0200] rev 28149
added no_interrupts;
moved dummy thread structures to dummy_thread.ML;
src/Pure/ML-Systems/multithreading.ML

2008-09-07 wenzelm [Sun, 07 Sep 2008 17:46:39 +0200] rev 28148
tuned;
src/Pure/Concurrent/schedule.ML

2008-09-07 wenzelm [Sun, 07 Sep 2008 17:46:38 +0200] rev 28147
send: broadcast to all waiting threads;
src/Pure/Concurrent/mailbox.ML

2008-09-07 wenzelm [Sun, 07 Sep 2008 17:46:37 +0200] rev 28146
added ML-Systems/thread_dummy.ML;
src/Pure/IsaMakefile

2008-09-06 haftmann [Sat, 06 Sep 2008 14:02:36 +0200] rev 28145
dropped "run" marker in monad syntax
doc-src/IsarAdvanced/Codegen/Thy/examples/fac_case.ML doc-src/IsarAdvanced/Codegen/Thy/examples/pick2.ML src/HOL/Library/Array.thy src/HOL/Library/Heap_Monad.thy src/HOL/Library/Relational.thy src/HOL/Library/State_Monad.thy src/HOL/ex/ImperativeQuicksort.thy src/HOL/ex/Quickcheck.thy src/HOL/ex/Random.thy src/Tools/code/code_haskell.ML

2008-09-05 wenzelm [Fri, 05 Sep 2008 11:50:35 +0200] rev 28144
multithreading.ML provides dummy thread structures;
src/Pure/ML-Systems/polyml-5.1.ML

2008-09-05 haftmann [Fri, 05 Sep 2008 06:50:22 +0200] rev 28143
different bookkeeping for code equations
NEWS doc-src/IsarAdvanced/Codegen/Thy/Codegen.thy doc-src/IsarAdvanced/Codegen/Thy/document/Codegen.tex doc-src/IsarAdvanced/Codegen/Thy/examples/monotype.ML doc-src/IsarAdvanced/Codegen/Thy/examples/tree.ML src/HOL/ex/NormalForm.thy src/Pure/Isar/code.ML