src/Pure/General/url.ML
changeset 21515 43d55165b282
parent 21503 c4ea7e8c3937
child 21858 05f57309170c
     1.1 --- a/src/Pure/General/url.ML	Fri Nov 24 17:22:32 2006 +0100
     1.2 +++ b/src/Pure/General/url.ML	Fri Nov 24 17:23:15 2006 +0100
     1.3 @@ -2,7 +2,7 @@
     1.4      ID:         $Id$
     1.5      Author:     Markus Wenzel, TU Muenchen
     1.6  
     1.7 -Basic URLs, see RFC 1738.
     1.8 +Basic URLs, see RFC 1738 and RFC 2396.
     1.9  *)
    1.10  
    1.11  signature URL =