Sun, 03 Apr 2016 22:45:40 +0200 | wenzelm | prefer internal tool; | file | diff | annotate |
Sat, 02 Apr 2016 15:40:06 +0200 | wenzelm | clarified check_sources; | file | diff | annotate |
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 |