| Mon, 09 Jul 2007 23:12:29 +0200 |
wenzelm |
removed target RAW-ProofGeneral (impractical to maintain);
|
file |
diff |
annotate
|
| Sat, 07 Jul 2007 00:14:52 +0200 |
wenzelm |
added General/markup.ML;
|
file |
diff |
annotate
|
| Tue, 19 Jun 2007 23:15:43 +0200 |
wenzelm |
added General/balanced_tree.ML;
|
file |
diff |
annotate
|
| Wed, 13 Jun 2007 00:01:56 +0200 |
wenzelm |
added context_position.ML;
|
file |
diff |
annotate
|
| Thu, 31 May 2007 20:55:33 +0200 |
wenzelm |
moved Compute_Oracle from Pure/Tools to Tools;
|
file |
diff |
annotate
|
| Thu, 31 May 2007 01:25:35 +0200 |
wenzelm |
reversed SML B library patches;
|
file |
diff |
annotate
|
| Sun, 13 May 2007 18:15:28 +0200 |
haftmann |
removed module rat.ML
|
file |
diff |
annotate
|
| Thu, 10 May 2007 00:39:50 +0200 |
wenzelm |
added conv.ML;
|
file |
diff |
annotate
|
| Sat, 14 Apr 2007 17:36:06 +0200 |
wenzelm |
removed Pure/Syntax/ROOT.ML;
|
file |
diff |
annotate
|
| Tue, 03 Apr 2007 19:24:15 +0200 |
wenzelm |
added ML-Systems/alice.ML;
|
file |
diff |
annotate
|
| Mon, 26 Feb 2007 23:18:26 +0100 |
wenzelm |
added more_thm.ML;
|
file |
diff |
annotate
|
| Fri, 19 Jan 2007 22:08:11 +0100 |
wenzelm |
renamed Isar/isar_output.ML to Thy/thy_output.ML;
|
file |
diff |
annotate
|
| Fri, 05 Jan 2007 14:32:07 +0100 |
haftmann |
added codegen_func.ML
|
file |
diff |
annotate
|
| Fri, 05 Jan 2007 14:30:07 +0100 |
wenzelm |
RAW-ProofGeneral: more dependencies;
|
file |
diff |
annotate
|
| Thu, 04 Jan 2007 17:49:41 +0100 |
wenzelm |
removed obsolete Pure-copied target;
|
file |
diff |
annotate
|
| Sat, 30 Dec 2006 12:41:59 +0100 |
wenzelm |
removed obsolete support for polyml-4.9.1;
|
file |
diff |
annotate
|
| Fri, 29 Dec 2006 18:46:01 +0100 |
wenzelm |
removed obsolete proof_general.ML;
|
file |
diff |
annotate
|
| Sun, 10 Dec 2006 15:30:37 +0100 |
wenzelm |
removed Isar/term_syntax.ML;
|
file |
diff |
annotate
|
| Thu, 07 Dec 2006 17:58:41 +0100 |
wenzelm |
added Isar/term_syntax.ML;
|
file |
diff |
annotate
|
| Tue, 05 Dec 2006 22:14:44 +0100 |
wenzelm |
added ML-Systems/polyml-5.0.ML;
|
file |
diff |
annotate
|
| Tue, 05 Dec 2006 13:57:24 +0100 |
aspinall |
Add dependency for new Emacs PG code
|
file |
diff |
annotate
|
| Mon, 04 Dec 2006 21:41:47 +0100 |
aspinall |
Build instructions for new Proof General module [not yet activated]
|
file |
diff |
annotate
|
| Thu, 23 Nov 2006 00:51:54 +0100 |
wenzelm |
added morphism.ML, General/ml_syntax.ML;
|
file |
diff |
annotate
|
| Thu, 16 Nov 2006 01:07:25 +0100 |
wenzelm |
moved some fundamental concepts to General/basics.ML;
|
file |
diff |
annotate
|
| Tue, 14 Nov 2006 00:15:43 +0100 |
wenzelm |
removed Isar/isar_thy.ML;
|
file |
diff |
annotate
|
| Fri, 10 Nov 2006 23:22:04 +0100 |
wenzelm |
removed obsolete ML compatibility fragments;
|
file |
diff |
annotate
|
| Fri, 03 Nov 2006 14:22:43 +0100 |
haftmann |
dropped name_mangler.ML
|
file |
diff |
annotate
|
| Tue, 10 Oct 2006 09:18:09 +0200 |
haftmann |
removed experimental codegen_simtype
|
file |
diff |
annotate
|
| Mon, 09 Oct 2006 19:37:03 +0200 |
wenzelm |
added General/secure.ML;
|
file |
diff |
annotate
|
| Sat, 07 Oct 2006 01:31:08 +0200 |
wenzelm |
added Isar/theory_target.ML;
|
file |
diff |
annotate
|