| 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
|
| Thu, 06 Mar 2008 19:21:25 +0100 |
wenzelm |
cleaned-up ML-Systems;
|
file |
diff |
annotate
|
| Tue, 19 Feb 2008 20:34:29 +0100 |
wenzelm |
removed General/system_process.ML (back to multithreaded version);
|
file |
diff |
annotate
|
| Sat, 16 Feb 2008 16:43:53 +0100 |
wenzelm |
added General/system_process.ML;
|
file |
diff |
annotate
|
| Thu, 24 Jan 2008 23:51:11 +0100 |
wenzelm |
removed obsolete context_position.ML (superseded by Position.thread_data);
|
file |
diff |
annotate
|
| Thu, 20 Dec 2007 21:11:58 +0100 |
wenzelm |
added ML-Systems/universal.ML;
|
file |
diff |
annotate
|
| Thu, 20 Dec 2007 14:33:40 +0100 |
wenzelm |
moved Pure/General/random_word.ML to Tools/random_word.ML;
|
file |
diff |
annotate
|
| Wed, 19 Dec 2007 23:06:14 +0100 |
wenzelm |
added General/random_word.ML;
|
file |
diff |
annotate
|
| Tue, 04 Dec 2007 22:49:26 +0100 |
wenzelm |
added Tools/isabelle_process.ML;
|
file |
diff |
annotate
|
| Wed, 28 Nov 2007 16:44:22 +0100 |
wenzelm |
removed typedecl.ML (cf. object_logic.ML);
|
file |
diff |
annotate
|
| Fri, 23 Nov 2007 21:09:30 +0100 |
haftmann |
separated typedecl module, providing typedecl command with interpretation
|
file |
diff |
annotate
|
| Sun, 04 Nov 2007 17:12:14 +0100 |
wenzelm |
removed obsolete ProofGeneral/parsing.ML;
|
file |
diff |
annotate
|
| Sun, 04 Nov 2007 16:43:28 +0100 |
wenzelm |
added ProofGeneral/pgml_isabelle.ML;
|
file |
diff |
annotate
|
| Mon, 08 Oct 2007 22:03:21 +0200 |
haftmann |
added proper subclass concept; improved class target
|
file |
diff |
annotate
|
| Sat, 06 Oct 2007 22:07:18 +0200 |
wenzelm |
added Pure-ProofGeneral target (dummy session with outer syntax keyword initialization);
|
file |
diff |
annotate
|
| Thu, 04 Oct 2007 14:42:47 +0200 |
wenzelm |
moved Pure/Isar/induct_attrib.ML and Provers/induct_method.ML to Tools/induct.ML;
|
file |
diff |
annotate
|
| Mon, 24 Sep 2007 13:52:51 +0200 |
wenzelm |
renamed ML-Systems/multithreading_dummy.ML to ML-Systems/multithreading.ML;
|
file |
diff |
annotate
|
| Thu, 20 Sep 2007 20:56:32 +0200 |
wenzelm |
added interpretation.ML;
|
file |
diff |
annotate
|
| Tue, 18 Sep 2007 18:05:34 +0200 |
wenzelm |
moved Tools/integer.ML to Pure/General/integer.ML;
|
file |
diff |
annotate
|
| Sun, 16 Sep 2007 14:59:10 +0200 |
wenzelm |
added ML/ml_parse.ML;
|
file |
diff |
annotate
|