Sun, 13 Mar 2016 14:27:31 +0100 | wenzelm | tuned signature; | file | diff | annotate |
Mon, 07 Mar 2016 18:20:22 +0100 | wenzelm | Bash.process always uses a closed script instead of an open argument list, for extra robustness on Windows, where quoting is not well-defined; | file | diff | annotate |
Sun, 28 Feb 2016 17:40:01 +0100 | wenzelm | tuned signature; | file | diff | annotate |
Sun, 28 Feb 2016 15:57:03 +0100 | wenzelm | more official "isabelle check_sources"; | file | diff | annotate | base |