| Mon, 17 May 2021 13:57:19 +1000 | kleing | avoid unexpected output+behaviour when CDPATH is set | file | diff | annotate |
| Fri, 07 May 2021 12:43:03 +0200 | wenzelm | proper "$?"; | file | diff | annotate |
| Sat, 17 Apr 2021 19:45:12 +0200 | wenzelm | clarified options (again); | file | diff | annotate |
| Sat, 17 Apr 2021 19:37:42 +0200 | wenzelm | more options: update ISABELLE_IDENTIFIER; | file | diff | annotate |
| Fri, 16 Apr 2021 21:50:47 +0200 | wenzelm | clarified options; | file | diff | annotate |
| Wed, 31 Mar 2021 11:24:46 +0200 | wenzelm | clarified (again): local tip could be actually more recent; | file | diff | annotate |
| Wed, 31 Mar 2021 11:17:45 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 31 Mar 2021 11:05:40 +0200 | wenzelm | clarified name; | file | diff | annotate | base |