Wed, 03 Dec 2008 15:58:44 +0100 |
haftmann |
made repository layout more coherent with logical distribution structure; stripped some $Id$s
|
file |
diff |
annotate
|
Fri, 14 Nov 2008 16:49:52 +0100 |
ballarin |
Initial part of locale reimplementation.
|
file |
diff |
annotate
|
Mon, 27 Oct 2008 16:23:54 +0100 |
ballarin |
New-style locale expressions with instantiation (new file expression.ML).
|
file |
diff |
annotate
|
Thu, 23 Oct 2008 14:22:16 +0200 |
wenzelm |
renamed structure Susp to Lazy, and Susp.delay to Lazy.lazy;
|
file |
diff |
annotate
|
Thu, 16 Oct 2008 23:56:57 +0200 |
wenzelm |
added dep for Concurrent/ROOT.ML;
|
file |
diff |
annotate
|
Mon, 13 Oct 2008 15:48:36 +0200 |
wenzelm |
added Concurrent/synchronized.ML;
|
file |
diff |
annotate
|
Thu, 09 Oct 2008 21:34:05 +0200 |
wenzelm |
extra Poly/ML toplevel pretty printing in ML-Systems/install_pp_polyml.ML;
|
file |
diff |
annotate
|
Thu, 09 Oct 2008 20:53:12 +0200 |
wenzelm |
added Concurrent/par_list_dummy.ML;
|
file |
diff |
annotate
|
Sat, 04 Oct 2008 16:05:09 +0200 |
wenzelm |
replaced ISATOOL by ISABELLE_TOOL;
|
file |
diff |
annotate
|
Sat, 04 Oct 2008 14:29:40 +0200 |
wenzelm |
added Thy/thy_header.scala;
|
file |
diff |
annotate
|
Mon, 29 Sep 2008 14:41:22 +0200 |
wenzelm |
added context_position.ML;
|
file |
diff |
annotate
|
Mon, 22 Sep 2008 15:26:11 +0200 |
wenzelm |
removed deriv.ML which is now incorporated into thm.ML;
|
file |
diff |
annotate
|
Fri, 19 Sep 2008 21:00:46 +0200 |
wenzelm |
added Isar/isar.scala;
|
file |
diff |
annotate
|
Thu, 18 Sep 2008 22:30:17 +0200 |
wenzelm |
jar: include sources;
|
file |
diff |
annotate
|
Thu, 18 Sep 2008 14:06:56 +0200 |
wenzelm |
added deriv.ML: Abstract derivations based on raw proof terms.
|
file |
diff |
annotate
|
Wed, 17 Sep 2008 21:27:20 +0200 |
wenzelm |
added ML-Systems/ml_name_space.ML;
|
file |
diff |
annotate
|
Tue, 16 Sep 2008 16:13:31 +0200 |
haftmann |
added quickcheck stub
|
file |
diff |
annotate
|
Tue, 16 Sep 2008 15:37:30 +0200 |
wenzelm |
added Concurrent/simple_thread.ML;
|
file |
diff |
annotate
|
Tue, 16 Sep 2008 09:21:22 +0200 |
haftmann |
generic value command
|
file |
diff |
annotate
|
Thu, 11 Sep 2008 13:23:57 +0200 |
wenzelm |
added Concurrent/par_list.ML;
|
file |
diff |
annotate
|
Mon, 08 Sep 2008 16:08:13 +0200 |
wenzelm |
added Concurrent/task_queue.ML;
|
file |
diff |
annotate
|
Sun, 07 Sep 2008 22:19:31 +0200 |
wenzelm |
added Concurrent/future.ML;
|
file |
diff |
annotate
|
Sun, 07 Sep 2008 17:46:37 +0200 |
wenzelm |
added ML-Systems/thread_dummy.ML;
|
file |
diff |
annotate
|
Thu, 04 Sep 2008 19:47:13 +0200 |
wenzelm |
fixed deps: no Concurrent/receiver.ML yet;
|
file |
diff |
annotate
|
Thu, 04 Sep 2008 19:45:12 +0200 |
wenzelm |
added Concurrent/mailbox.ML;
|
file |
diff |
annotate
|
Thu, 04 Sep 2008 16:43:50 +0200 |
wenzelm |
added General/queue.ML;
|
file |
diff |
annotate
|
Thu, 04 Sep 2008 16:03:41 +0200 |
wenzelm |
added Concurrent/schedule.ML;
|
file |
diff |
annotate
|
Thu, 28 Aug 2008 00:33:04 +0200 |
wenzelm |
removed obsolete ProofGeneral/pgml_isabelle.ML;
|
file |
diff |
annotate
|
Wed, 27 Aug 2008 11:49:14 +0200 |
wenzelm |
added General/properties.ML;
|
file |
diff |
annotate
|
Tue, 26 Aug 2008 12:20:52 +0200 |
wenzelm |
purge classes after compilation;
|
file |
diff |
annotate
|