| Tue, 03 Jan 2017 19:22:17 +0100 | wenzelm | clarified file URLs, notably for Windows UNC paths; | file | diff | annotate |
| Tue, 03 Jan 2017 14:17:03 +0100 | wenzelm | clarified master_dir: file-URL; | file | diff | annotate |
| Sun, 01 Jan 2017 11:47:27 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Sun, 01 Jan 2017 11:38:29 +0100 | wenzelm | clarified file URI operations; | file | diff | annotate |
| Tue, 09 Aug 2016 23:19:35 +0200 | wenzelm | more operations; | file | diff | annotate |
| Tue, 09 Aug 2016 20:35:21 +0200 | wenzelm | more operations; | file | diff | annotate |
| Wed, 27 Jan 2016 14:14:06 +0100 | wenzelm | allow single quote within URL; | file | diff | annotate |
| Thu, 10 Apr 2014 10:06:54 +0200 | wenzelm | no comment -- File.read_stream already enforces UTF8 (like HTML5) and HTTP servers often produce a wrong charset encoding; | file | diff | annotate |
| Wed, 09 Apr 2014 23:04:20 +0200 | wenzelm | basic URL operations (with Isabelle/Scala error handling); | file | diff | annotate |