src/Pure/General/url.ML
2007-07-11 wenzelm 2007-07-11 Symbol.not_eof/sync is superceded by Symbol.is_regular (rules out further control symbols);
2006-12-15 wenzelm 2006-12-15 avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
2006-11-24 aspinall 2006-11-24 Comment: see RFC 2396 for relative URI syntax.
2006-11-23 aspinall 2006-11-23 Accept URLs of form file:/home... also.
2006-03-21 wenzelm 2006-03-21 avoid polymorphic equality;
2005-06-02 wenzelm 2005-06-02 tuned;
2005-03-25 aspinall 2005-03-25 Revert previous change (but leave comments).
2005-03-25 aspinall 2005-03-25 Support non-standard file: URL syntax, temporarily.
2004-09-03 aspinall 2004-09-03 Fix file:/// and file://localhost/ to give absolute paths
2004-09-03 aspinall 2004-09-03 Fix file:/// and file://localhost/ to return local file result
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-06-10 wenzelm 2004-06-10 improved RemoteFile;
2004-06-09 wenzelm 2004-06-09 tuned representation; added RemoteFile;
2000-05-05 wenzelm 2000-05-05 GPLed;
1999-05-12 wenzelm 1999-05-12 Basic URLs.