| Wed, 14 Apr 2010 22:07:01 +0200 |
wenzelm |
support named_root, which approximates UNC server prefix (for Cygwin);
|
file |
diff |
annotate
|
| Wed, 25 Nov 2009 09:13:46 +0100 |
haftmann |
normalized uncurry take/drop
|
file |
diff |
annotate
|
| Tue, 24 Nov 2009 17:28:25 +0100 |
haftmann |
curried take/drop
|
file |
diff |
annotate
|
| Wed, 21 Oct 2009 12:09:37 +0200 |
haftmann |
curried inter as canonical list operation (beware of argument order)
|
file |
diff |
annotate
|
| Wed, 21 Oct 2009 08:14:38 +0200 |
haftmann |
dropped redundant gen_ prefix
|
file |
diff |
annotate
|
| Tue, 20 Oct 2009 16:13:01 +0200 |
haftmann |
replaced old_style infixes eq_set, subset, union, inter and variants by generic versions
|
file |
diff |
annotate
|
| Wed, 21 Jan 2009 23:21:44 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| 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
|