| Mon, 12 Dec 2005 17:24:06 +0100 | haftmann | added generic name mangler | file | diff | annotate |
| Wed, 09 Nov 2005 16:26:47 +0100 | wenzelm | tuned comments; | file | diff | annotate |
| Fri, 14 Oct 2005 14:36:39 +0200 | haftmann | added module rat.ML for rational numbers | file | diff | annotate |
| Sat, 08 Oct 2005 22:39:40 +0200 | wenzelm | moved susp.ML, lazy_seq.ML, lazy_scan.ML to HOL/Import; | file | diff | annotate |
| Tue, 13 Sep 2005 22:19:30 +0200 | wenzelm | added stack.ML; | file | diff | annotate |
| Sun, 28 Aug 2005 09:02:42 +0200 | haftmann | added alist module | file | diff | annotate |
| Wed, 22 Jun 2005 19:41:24 +0200 | wenzelm | removed obsolete object.ML (see Pure/library.ML); | file | diff | annotate |
| Sat, 18 Jun 2005 22:41:18 +0200 | wenzelm | added Pure/General/ord_list.ML; | file | diff | annotate |
| Tue, 31 May 2005 11:53:27 +0200 | wenzelm | tuned arrangement of structures; | file | diff | annotate |
| Sat, 29 May 2004 15:05:37 +0200 | wenzelm | 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 | berghofe | Moved symbol.ML to front of file list (due to quote function). | file | diff | annotate |
| Fri, 05 Dec 2003 19:39:39 +0100 | skalberg | Added lazy sequences and parser combinators for same. | file | diff | annotate |
| Sat, 08 Dec 2001 14:42:22 +0100 | wenzelm | use "xml.ML"; | file | diff | annotate |
| Sun, 25 Jun 2000 23:45:47 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 20 Jun 2000 11:54:22 +0200 | paulson | new module for heaps | file | diff | annotate |
| Sat, 15 May 1999 16:15:54 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 12 May 1999 16:50:56 +0200 | wenzelm | added url.ML; | file | diff | annotate |
| Tue, 11 May 1999 17:51:23 +0200 | wenzelm | moved scan.ML; | file | diff | annotate |
| Tue, 09 Mar 1999 12:09:05 +0100 | wenzelm | added Buffer; | file | diff | annotate |
| Thu, 04 Feb 1999 18:12:26 +0100 | wenzelm | removed use.ML; | file | diff | annotate |
| Wed, 03 Feb 1999 16:28:38 +0100 | wenzelm | added use.ML; | file | diff | annotate |
| Mon, 18 Jan 1999 21:12:42 +0100 | wenzelm | structure Graph = Graph; | file | diff | annotate |
| Mon, 18 Jan 1999 21:08:27 +0100 | wenzelm | added General/graph.ML: generic direct graphs; | file | diff | annotate |
| Wed, 13 Jan 1999 12:44:33 +0100 | wenzelm | files scan.ML, source.ML, symbol.ML, pretty.ML moved to Pure/General; | file | diff | annotate |
| Sat, 14 Nov 1998 13:26:11 +0100 | wenzelm | prefixed op; | file | diff | annotate |
| Tue, 16 Jun 1998 18:37:34 +0200 | wenzelm | added General/history.ML; | file | diff | annotate |
| Wed, 10 Jun 1998 11:55:30 +0200 | wenzelm | General tools. | file | diff | annotate |