src/Pure/General/path.ML
2009-10-20 haftmann 2009-10-20 replaced old_style infixes eq_set, subset, union, inter and variants by generic versions
2009-01-21 wenzelm 2009-01-21 removed Ids;
2008-05-14 wenzelm 2008-05-14 renamed Position.path to Path.position;
2007-07-19 wenzelm 2007-07-19 tuned signature;
2007-07-09 wenzelm 2007-07-09 moved Path.position to Position.path;
2006-12-15 wenzelm 2006-12-15 avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
2006-04-27 wenzelm 2006-04-27 tuned basic list operators (flat, maps, map_filter);
2006-03-21 wenzelm 2006-03-21 avoid polymorphic equality;
2005-10-11 wenzelm 2005-10-11 expand: error on undefined/empty env variable; tuned;
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-06-09 wenzelm 2004-06-09 added split_ext; removed drop_ext;
2000-05-05 wenzelm 2000-05-05 GPLed;
1999-10-26 wenzelm 1999-10-26 added drop_ext; tuned;
1999-10-05 wenzelm 1999-10-05 added position;
1999-04-21 wenzelm 1999-04-21 added is_current;
1999-03-09 wenzelm 1999-03-09 added make, dir;
1999-02-11 wenzelm 1999-02-11 val appends: T list -> T;
1999-02-04 wenzelm 1999-02-04 check_elem: allow ~, except for '~' and '~~';
1999-02-03 wenzelm 1999-02-03 enabled sig;
1999-02-03 wenzelm 1999-02-03 more abstract implementation;
1999-01-13 wenzelm 1999-01-13 fixed titles;
1998-06-10 wenzelm 1998-06-10 moved Thy/path.ML to General/path.ML;