| 2021-05-17 | kleing | avoid unexpected output+behaviour when CDPATH is set | file | diff | annotate |
| 2021-05-07 | wenzelm | proper "$?"; | file | diff | annotate |
| 2021-04-17 | wenzelm | clarified options (again); | file | diff | annotate |
| 2021-04-17 | wenzelm | more options: update ISABELLE_IDENTIFIER; | file | diff | annotate |
| 2021-04-16 | wenzelm | clarified options; | file | diff | annotate |
| 2021-03-31 | wenzelm | clarified (again): local tip could be actually more recent; | file | diff | annotate |
| 2021-03-31 | wenzelm | tuned; | file | diff | annotate |
| 2021-03-31 | wenzelm | clarified name; | file | diff | annotate | base |