| Wed, 14 May 2008 11:05:08 +0200 | wenzelm | renamed Position.path to Path.position; | file | diff | annotate |
| Thu, 19 Jul 2007 23:18:48 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 09 Jul 2007 23:12:36 +0200 | wenzelm | moved Path.position to Position.path; | file | diff | annotate |
| Fri, 15 Dec 2006 00:08:06 +0100 | wenzelm | avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert; | file | diff | annotate |
| Thu, 27 Apr 2006 15:06:35 +0200 | wenzelm | tuned basic list operators (flat, maps, map_filter); | file | diff | annotate |
| Tue, 21 Mar 2006 12:18:15 +0100 | wenzelm | avoid polymorphic equality; | file | diff | annotate |
| Tue, 11 Oct 2005 14:02:33 +0200 | wenzelm | expand: error on undefined/empty env variable; | file | diff | annotate |
| Thu, 03 Mar 2005 12:43:01 +0100 | skalberg | Move towards standard functions. | file | diff | annotate |
| Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Wed, 09 Jun 2004 18:56:55 +0200 | wenzelm | added split_ext; removed drop_ext; | file | diff | annotate |
| 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 |