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