src/Pure/General/ROOT.ML
Wed, 14 May 2008 11:05:07 +0200 wenzelm load seq.ML and position.ML earlier;
Thu, 03 Apr 2008 16:03:54 +0200 wenzelm added Pure/General/yxml.ML;
Tue, 19 Feb 2008 20:34:29 +0100 wenzelm removed General/system_process.ML (back to multithreaded version);
Sat, 16 Feb 2008 16:43:53 +0100 wenzelm added General/system_process.ML;
Thu, 20 Dec 2007 14:33:40 +0100 wenzelm moved Pure/General/random_word.ML to Tools/random_word.ML;
Wed, 19 Dec 2007 23:06:14 +0100 wenzelm added General/random_word.ML;
Tue, 18 Sep 2007 18:05:34 +0200 wenzelm moved Tools/integer.ML to Pure/General/integer.ML;
Sun, 16 Sep 2007 14:59:10 +0200 wenzelm added ML/ml_parse.ML;
Sat, 15 Sep 2007 19:25:32 +0200 wenzelm added ML/ml_lex.ML;
Tue, 28 Aug 2007 11:25:30 +0200 wenzelm tuned load order -- minimizes modules before Secure;
Tue, 14 Aug 2007 13:20:47 +0200 wenzelm moved Tools/xml.ML to General/xml.ML (again);
Tue, 17 Jul 2007 13:19:18 +0200 wenzelm added General/print_mode.ML, pure_setup.ML;
Tue, 10 Jul 2007 16:44:58 +0200 wenzelm use position.ML earlier;
Mon, 09 Jul 2007 23:12:31 +0200 wenzelm use position.ML after pretty.ML;
Sat, 07 Jul 2007 18:39:16 +0200 wenzelm use markup.ML earlier;
Sat, 07 Jul 2007 12:16:13 +0200 wenzelm moved markup.ML before position.ML;
Sat, 07 Jul 2007 00:14:52 +0200 wenzelm added General/markup.ML;
Tue, 19 Jun 2007 23:15:43 +0200 wenzelm added General/balanced_tree.ML;
Sun, 13 May 2007 18:15:28 +0200 haftmann removed module rat.ML
Mon, 11 Dec 2006 19:05:20 +0100 wenzelm load secure.ML after symbol.ML, when default output is active;
Fri, 03 Nov 2006 14:22:43 +0100 haftmann dropped name_mangler.ML
Mon, 09 Oct 2006 19:37:03 +0200 wenzelm added General/secure.ML;
Tue, 19 Sep 2006 15:21:55 +0200 haftmann added suspensions in Pure
Mon, 12 Dec 2005 17:24:06 +0100 haftmann added generic name mangler
Wed, 09 Nov 2005 16:26:47 +0100 wenzelm tuned comments;
Fri, 14 Oct 2005 14:36:39 +0200 haftmann added module rat.ML for rational numbers
Sat, 08 Oct 2005 22:39:40 +0200 wenzelm moved susp.ML, lazy_seq.ML, lazy_scan.ML to HOL/Import;
Tue, 13 Sep 2005 22:19:30 +0200 wenzelm added stack.ML;
Sun, 28 Aug 2005 09:02:42 +0200 haftmann added alist module
Wed, 22 Jun 2005 19:41:24 +0200 wenzelm removed obsolete object.ML (see Pure/library.ML);
less more (0) -30 tip