| Tue, 21 Sep 2021 11:34:58 +0200 | wenzelm | more uniform syntax; | changeset | files |
| Tue, 21 Sep 2021 11:23:18 +0200 | wenzelm | permissive identification, e.g. relevant for HOL-SPARK examples running on rsync-clone; | changeset | files |
| Tue, 21 Sep 2021 00:20:55 +0200 | wenzelm | NEWS; | changeset | files |