| Wed, 21 Jan 2009 23:21:44 +0100 |
removed Ids;
|
file | diff | annotate |
| Mon, 01 Dec 2008 19:41:16 +0100 |
new Binding module
|
file | diff | annotate |
| Thu, 23 Oct 2008 14:22:16 +0200 |
renamed structure Susp to Lazy, and Susp.delay to Lazy.lazy;
|
file | diff | annotate |
| Thu, 04 Sep 2008 16:43:50 +0200 |
added General/queue.ML;
|
file | diff | annotate |
| Wed, 27 Aug 2008 20:36:25 +0200 |
load buffer.ML before file.ML;
|
file | diff | annotate |
| Wed, 27 Aug 2008 11:49:14 +0200 |
added General/properties.ML;
|
file | diff | annotate |
| Thu, 07 Aug 2008 13:44:33 +0200 |
added General/symbol_pos.ML;
|
file | diff | annotate |
| Mon, 14 Jul 2008 19:57:14 +0200 |
removed obsolete Pure/General/history.ML;
|
file | diff | annotate |
| Wed, 14 May 2008 11:05:07 +0200 |
load seq.ML and position.ML earlier;
|
file | diff | annotate |
| Thu, 03 Apr 2008 16:03:54 +0200 |
added Pure/General/yxml.ML;
|
file | diff | annotate |
| Tue, 19 Feb 2008 20:34:29 +0100 |
removed General/system_process.ML (back to multithreaded version);
|
file | diff | annotate |
| Sat, 16 Feb 2008 16:43:53 +0100 |
added General/system_process.ML;
|
file | diff | annotate |
| Thu, 20 Dec 2007 14:33:40 +0100 |
moved Pure/General/random_word.ML to Tools/random_word.ML;
|
file | diff | annotate |
| Wed, 19 Dec 2007 23:06:14 +0100 |
added General/random_word.ML;
|
file | diff | annotate |
| Tue, 18 Sep 2007 18:05:34 +0200 |
moved Tools/integer.ML to Pure/General/integer.ML;
|
file | diff | annotate |
| Sun, 16 Sep 2007 14:59:10 +0200 |
added ML/ml_parse.ML;
|
file | diff | annotate |
| Sat, 15 Sep 2007 19:25:32 +0200 |
added ML/ml_lex.ML;
|
file | diff | annotate |
| Tue, 28 Aug 2007 11:25:30 +0200 |
tuned load order -- minimizes modules before Secure;
|
file | diff | annotate |
| Tue, 14 Aug 2007 13:20:47 +0200 |
moved Tools/xml.ML to General/xml.ML (again);
|
file | diff | annotate |
| Tue, 17 Jul 2007 13:19:18 +0200 |
added General/print_mode.ML, pure_setup.ML;
|
file | diff | annotate |
| Tue, 10 Jul 2007 16:44:58 +0200 |
use position.ML earlier;
|
file | diff | annotate |
| Mon, 09 Jul 2007 23:12:31 +0200 |
use position.ML after pretty.ML;
|
file | diff | annotate |
| Sat, 07 Jul 2007 18:39:16 +0200 |
use markup.ML earlier;
|
file | diff | annotate |
| Sat, 07 Jul 2007 12:16:13 +0200 |
moved markup.ML before position.ML;
|
file | diff | annotate |
| Sat, 07 Jul 2007 00:14:52 +0200 |
added General/markup.ML;
|
file | diff | annotate |
| Tue, 19 Jun 2007 23:15:43 +0200 |
added General/balanced_tree.ML;
|
file | diff | annotate |
| Sun, 13 May 2007 18:15:28 +0200 |
removed module rat.ML
|
file | diff | annotate |
| Mon, 11 Dec 2006 19:05:20 +0100 |
load secure.ML after symbol.ML, when default output is active;
|
file | diff | annotate |
| Fri, 03 Nov 2006 14:22:43 +0100 |
dropped name_mangler.ML
|
file | diff | annotate |
| Mon, 09 Oct 2006 19:37:03 +0200 |
added General/secure.ML;
|
file | diff | annotate |
| Tue, 19 Sep 2006 15:21:55 +0200 |
added suspensions in Pure
|
file | diff | annotate |
| Mon, 12 Dec 2005 17:24:06 +0100 |
added generic name mangler
|
file | diff | annotate |
| Wed, 09 Nov 2005 16:26:47 +0100 |
tuned comments;
|
file | diff | annotate |
| Fri, 14 Oct 2005 14:36:39 +0200 |
added module rat.ML for rational numbers
|
file | diff | annotate |
| Sat, 08 Oct 2005 22:39:40 +0200 |
moved susp.ML, lazy_seq.ML, lazy_scan.ML to HOL/Import;
|
file | diff | annotate |
| Tue, 13 Sep 2005 22:19:30 +0200 |
added stack.ML;
|
file | diff | annotate |
| Sun, 28 Aug 2005 09:02:42 +0200 |
added alist module
|
file | diff | annotate |
| Wed, 22 Jun 2005 19:41:24 +0200 |
removed obsolete object.ML (see Pure/library.ML);
|
file | diff | annotate |
| Sat, 18 Jun 2005 22:41:18 +0200 |
added Pure/General/ord_list.ML;
|
file | diff | annotate |
| Tue, 31 May 2005 11:53:27 +0200 |
tuned arrangement of structures;
|
file | diff | annotate |
| Sat, 29 May 2004 15:05:37 +0200 |
added Pure/General/output.ML; load Pure/General/pretty.ML early in Pure/ROOT.ML;
|
file | diff | annotate |
| Fri, 16 Apr 2004 18:40:21 +0200 |
Moved symbol.ML to front of file list (due to quote function).
|
file | diff | annotate |
| Fri, 05 Dec 2003 19:39:39 +0100 |
Added lazy sequences and parser combinators for same.
|
file | diff | annotate |
| Sat, 08 Dec 2001 14:42:22 +0100 |
use "xml.ML";
|
file | diff | annotate |
| Sun, 25 Jun 2000 23:45:47 +0200 |
tuned;
|
file | diff | annotate |
| Tue, 20 Jun 2000 11:54:22 +0200 |
new module for heaps
|
file | diff | annotate |
| Sat, 15 May 1999 16:15:54 +0200 |
tuned;
|
file | diff | annotate |
| Wed, 12 May 1999 16:50:56 +0200 |
added url.ML;
|
file | diff | annotate |
| Tue, 11 May 1999 17:51:23 +0200 |
moved scan.ML;
|
file | diff | annotate |
| Tue, 09 Mar 1999 12:09:05 +0100 |
added Buffer;
|
file | diff | annotate |
| Thu, 04 Feb 1999 18:12:26 +0100 |
removed use.ML;
|
file | diff | annotate |
| Wed, 03 Feb 1999 16:28:38 +0100 |
added use.ML;
|
file | diff | annotate |
| Mon, 18 Jan 1999 21:12:42 +0100 |
structure Graph = Graph;
|
file | diff | annotate |
| Mon, 18 Jan 1999 21:08:27 +0100 |
added General/graph.ML: generic direct graphs;
|
file | diff | annotate |
| Wed, 13 Jan 1999 12:44:33 +0100 |
files scan.ML, source.ML, symbol.ML, pretty.ML moved to Pure/General;
|
file | diff | annotate |
| Sat, 14 Nov 1998 13:26:11 +0100 |
prefixed op;
|
file | diff | annotate |
| Tue, 16 Jun 1998 18:37:34 +0200 |
added General/history.ML;
|
file | diff | annotate |
| Wed, 10 Jun 1998 11:55:30 +0200 |
General tools.
|
file | diff | annotate |