src/Pure/General/url.ML
2000-05-05 wenzelm 2000-05-05 GPLed;
1999-05-12 wenzelm 1999-05-12 Basic URLs.