| Mon, 19 Apr 2021 15:55:14 +0200 | nipkow | tuned | changeset | files |
| Sat, 17 Apr 2021 19:47:08 +0200 | wenzelm | updated example; | changeset | files |
| Sat, 17 Apr 2021 19:45:12 +0200 | wenzelm | clarified options (again); | changeset | files |
| Sat, 17 Apr 2021 19:37:42 +0200 | wenzelm | more options: update ISABELLE_IDENTIFIER; | changeset | files |