Change History for Ticket #260

Version Date Author Comment
1 15 years David Aspinall This is the fault of Isabelle's =url.ML= which does not do any decoding.
0 15 years David Aspinall Initial version