| Mon, 29 Dec 2008 20:06:31 +0100 |
wenzelm |
Swing utilities.
|
file |
diff |
annotate
|
| Mon, 29 Dec 2008 13:57:37 +0100 |
wenzelm |
Generic event bus.
|
file |
diff |
annotate
|
| Tue, 16 Dec 2008 12:13:53 +0100 |
wenzelm |
removed old scheduler;
|
file |
diff |
annotate
|
| Mon, 15 Dec 2008 09:58:45 +0100 |
haftmann |
moved value.ML to src/Tools
|
file |
diff |
annotate
|
| 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
|
| Sat, 23 Aug 2008 23:07:34 +0200 |
wenzelm |
added General/position.scala;
|
file |
diff |
annotate
|
| Sat, 23 Aug 2008 19:42:11 +0200 |
wenzelm |
added General/markup.scala;
|
file |
diff |
annotate
|
| Sat, 23 Aug 2008 17:22:51 +0200 |
wenzelm |
added Tools/isabelle_process.scala, Tools/isabelle_syntax.scala;
|
file |
diff |
annotate
|
| Sun, 17 Aug 2008 21:11:04 +0200 |
wenzelm |
added General/xml.scala, General/yxml.scala;
|
file |
diff |
annotate
|
| Sat, 16 Aug 2008 23:28:38 +0200 |
wenzelm |
jar: invoke scaladoc;
|
file |
diff |
annotate
|
| Sat, 16 Aug 2008 21:23:01 +0200 |
wenzelm |
jar target: removed jvmpath -- does not work on Linux!?
|
file |
diff |
annotate
|
| Sat, 16 Aug 2008 16:43:03 +0200 |
wenzelm |
jar target: jvmpath;
|
file |
diff |
annotate
|
| Sat, 16 Aug 2008 15:57:05 +0200 |
wenzelm |
added Tools/isabelle_system.scala;
|
file |
diff |
annotate
|
| Fri, 15 Aug 2008 21:56:07 +0200 |
wenzelm |
basic setup for Scala material;
|
file |
diff |
annotate
|
| Thu, 07 Aug 2008 13:44:33 +0200 |
wenzelm |
added General/symbol_pos.ML;
|
file |
diff |
annotate
|
| Mon, 14 Jul 2008 19:57:14 +0200 |
wenzelm |
removed obsolete Pure/General/history.ML;
|
file |
diff |
annotate
|
| Mon, 14 Jul 2008 11:19:36 +0200 |
wenzelm |
removed Isar/proof_history.ML;
|
file |
diff |
annotate
|
| Sat, 28 Jun 2008 22:52:03 +0200 |
wenzelm |
added ML/ml_thms.ML;
|
file |
diff |
annotate
|
| Tue, 24 Jun 2008 19:43:15 +0200 |
wenzelm |
added ML/ml_antiquote.ML;
|
file |
diff |
annotate
|
| Sat, 14 Jun 2008 17:26:12 +0200 |
wenzelm |
removed experimental Poplog/PML support;
|
file |
diff |
annotate
|
| Sun, 18 May 2008 17:03:20 +0200 |
wenzelm |
eliminated theory CPure;
|
file |
diff |
annotate
|
| Sat, 12 Apr 2008 17:00:42 +0200 |
wenzelm |
removed obsolete compress.ML
|
file |
diff |
annotate
|
| Thu, 10 Apr 2008 13:24:11 +0200 |
wenzelm |
added Isar/isar.ML;
|
file |
diff |
annotate
|
| Thu, 03 Apr 2008 16:03:54 +0200 |
wenzelm |
added Pure/General/yxml.ML;
|
file |
diff |
annotate
|
| Wed, 26 Mar 2008 22:41:58 +0100 |
wenzelm |
removed obsolete Thy/thm_database.ML (cf. ML/ml_context.ML);
|
file |
diff |
annotate
|
| Mon, 24 Mar 2008 18:44:21 +0100 |
wenzelm |
removed junk;
|
file |
diff |
annotate
|
| Mon, 24 Mar 2008 18:35:40 +0100 |
wenzelm |
added ML-Systems/polyml-5.1.ML, ML-Systems/polyml_old_compiler4.ML, ML-Systems/polyml_old_compiler5.ML;
|
file |
diff |
annotate
|
| Sat, 15 Mar 2008 18:08:00 +0100 |
wenzelm |
removed obsolete fact_index.ML;
|
file |
diff |
annotate
|
| Fri, 07 Mar 2008 13:53:06 +0100 |
haftmann |
added hithero missing overloading.ML
|
file |
diff |
annotate
|
| Thu, 06 Mar 2008 20:46:41 +0100 |
wenzelm |
proper dependency on ML-Systems/mosml.ML;
|
file |
diff |
annotate
|
| Thu, 06 Mar 2008 20:17:49 +0100 |
wenzelm |
added ML-Systems/system_shell.ML;
|
file |
diff |
annotate
|