| Sun, 23 Jul 2000 12:05:23 +0200 | wenzelm | tuned HeapFun; | 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 |
| 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 |
| Wed, 03 Feb 1999 16:28:13 +0100 | wenzelm | added Use; | file | diff | annotate |
| Mon, 18 Jan 1999 21:09:34 +0100 | wenzelm | GraphFun (generic directed 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 |