| Tue, 11 Oct 2005 14:02:32 +0200 | wenzelm | added assert; | file | diff | annotate |
| Wed, 06 Jul 2005 10:41:47 +0200 | wenzelm | added write_list, append_list; | file | diff | annotate |
| Wed, 29 Jun 2005 15:13:33 +0200 | wenzelm | added eq; | file | diff | annotate |
| Mon, 06 Jun 2005 18:58:34 +0200 | wenzelm | copy_dir: be permissive wrt. errors; | file | diff | annotate |
| Sun, 05 Jun 2005 11:31:24 +0200 | wenzelm | removed sysify_path, quote_sysity_path etc.; | file | diff | annotate |
| Wed, 18 May 2005 11:30:59 +0200 | wenzelm | tuned; | 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, 23 Aug 2004 17:06:18 +0200 | berghofe | Added function for "normalizing" absolute paths (i.e. dereferencing of | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Fri, 15 Feb 2002 20:42:00 +0100 | wenzelm | moved copy_all to Thy/present.ML; | file | diff | annotate |
| Fri, 09 Nov 2001 00:14:17 +0100 | wenzelm | got rid of obsolete input filtering; | file | diff | annotate |
| Fri, 01 Sep 2000 17:44:44 +0200 | wenzelm | export quote_sysify_path; | file | diff | annotate |
| Wed, 07 Jun 2000 12:15:26 +0200 | berghofe | Exported system_command. | file | diff | annotate |
| Fri, 05 May 2000 22:02:46 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Fri, 28 Jan 2000 21:55:23 +0100 | wenzelm | cp -r; | file | diff | annotate |
| Wed, 13 Oct 1999 19:40:03 +0200 | wenzelm | mkdir, copy_all: system_command; | file | diff | annotate |
| Tue, 05 Oct 1999 15:29:36 +0200 | wenzelm | added copy_all; | file | diff | annotate |
| Fri, 30 Jul 1999 13:34:27 +0200 | wenzelm | export sysify_path; | file | diff | annotate |
| Wed, 12 May 1999 16:52:28 +0200 | wenzelm | rearranged order of modules; | file | diff | annotate |
| Tue, 09 Mar 1999 12:09:22 +0100 | wenzelm | added mkdir; | file | diff | annotate |
| Thu, 04 Feb 1999 18:14:27 +0100 | wenzelm | fail_safe close; | file | diff | annotate |
| Wed, 03 Feb 1999 20:25:01 +0100 | wenzelm | added join_info; | file | diff | annotate |
| Wed, 03 Feb 1999 16:32:32 +0100 | wenzelm | use Path.T; | file | diff | annotate |
| Wed, 13 Jan 1999 15:18:02 +0100 | wenzelm | fixed titles; | file | diff | annotate |
| Wed, 10 Jun 1998 11:50:20 +0200 | wenzelm | moved Thy/file.ML to General/file.ML; | file | diff | annotate |