| Tue, 02 Jun 2009 13:15:16 +0200 |
wenzelm |
early setup of secure operations (again, cf. deddd77112b7) -- NB: fix_ints is required for bootstrap;
|
file |
diff |
annotate
|
| Mon, 01 Jun 2009 15:26:00 +0200 |
wenzelm |
slightly later setup of ML and secure operations;
|
file |
diff |
annotate
|
| Thu, 19 Mar 2009 15:22:53 +0100 |
wenzelm |
moved Isar/antiquote.ML to General/antiquote.ML, which is loaded early;
|
file |
diff |
annotate
|
| Sun, 08 Mar 2009 16:53:38 +0100 |
wenzelm |
added General/long_name.ML;
|
file |
diff |
annotate
|
| Wed, 21 Jan 2009 23:21:44 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Mon, 01 Dec 2008 19:41:16 +0100 |
haftmann |
new Binding module
|
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, 04 Sep 2008 16:43:50 +0200 |
wenzelm |
added General/queue.ML;
|
file |
diff |
annotate
|
| Wed, 27 Aug 2008 20:36:25 +0200 |
wenzelm |
load buffer.ML before file.ML;
|
file |
diff |
annotate
|
| Wed, 27 Aug 2008 11:49:14 +0200 |
wenzelm |
added General/properties.ML;
|
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
|
| Wed, 14 May 2008 11:05:07 +0200 |
wenzelm |
load seq.ML and position.ML earlier;
|
file |
diff |
annotate
|
| Thu, 03 Apr 2008 16:03:54 +0200 |
wenzelm |
added Pure/General/yxml.ML;
|
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, 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, 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
|
| Sat, 15 Sep 2007 19:25:32 +0200 |
wenzelm |
added ML/ml_lex.ML;
|
file |
diff |
annotate
|
| Tue, 28 Aug 2007 11:25:30 +0200 |
wenzelm |
tuned load order -- minimizes modules before Secure;
|
file |
diff |
annotate
|
| Tue, 14 Aug 2007 13:20:47 +0200 |
wenzelm |
moved Tools/xml.ML to General/xml.ML (again);
|
file |
diff |
annotate
|
| Tue, 17 Jul 2007 13:19:18 +0200 |
wenzelm |
added General/print_mode.ML, pure_setup.ML;
|
file |
diff |
annotate
|
| Tue, 10 Jul 2007 16:44:58 +0200 |
wenzelm |
use position.ML earlier;
|
file |
diff |
annotate
|
| Mon, 09 Jul 2007 23:12:31 +0200 |
wenzelm |
use position.ML after pretty.ML;
|
file |
diff |
annotate
|
| Sat, 07 Jul 2007 18:39:16 +0200 |
wenzelm |
use markup.ML earlier;
|
file |
diff |
annotate
|
| Sat, 07 Jul 2007 12:16:13 +0200 |
wenzelm |
moved markup.ML before position.ML;
|
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
|