| 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 |