Wed, 21 Apr 1999 16:30:35 +0200 | wenzelm | added is_current; | file | diff | annotate |
Tue, 09 Mar 1999 12:09:51 +0100 | wenzelm | added make, dir; | file | diff | annotate |
Thu, 11 Feb 1999 21:15:27 +0100 | wenzelm | val appends: T list -> T; | file | diff | annotate |
Thu, 04 Feb 1999 18:13:10 +0100 | wenzelm | check_elem: allow ~, except for '~' and '~~'; | file | diff | annotate |
Wed, 03 Feb 1999 16:41:49 +0100 | wenzelm | enabled sig; | file | diff | annotate |
Wed, 03 Feb 1999 16:36:38 +0100 | wenzelm | more abstract implementation; | file | diff | annotate |
Wed, 13 Jan 1999 15:18:02 +0100 | wenzelm | fixed titles; | file | diff | annotate |
Wed, 10 Jun 1998 11:51:28 +0200 | wenzelm | moved Thy/path.ML to General/path.ML; | file | diff | annotate |