| Fri, 05 May 2000 22:02:46 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Tue, 26 Oct 1999 00:04:05 +0200 | wenzelm | added drop_ext; | file | diff | annotate |
| Tue, 05 Oct 1999 15:26:10 +0200 | wenzelm | added position; | file | diff | annotate |
| 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 |