| Mon, 17 May 2021 13:57:19 +1000 | kleing | avoid unexpected output+behaviour when CDPATH is set | file | diff | annotate |
| Sat, 15 Oct 2016 15:14:46 +0200 | wenzelm | remove invocation of build_history: results are reported via stdout; | file | diff | annotate |
| Thu, 13 Oct 2016 22:59:20 +0200 | wenzelm | tuned whitespace; | file | diff | annotate |
| Mon, 03 Oct 2016 16:50:29 +0200 | wenzelm | basic setup for Admin/build_history -- outside of Isabelle environment; | file | diff | annotate |