| Sat, 17 Jul 2021 22:50:25 +0200 | wenzelm | more robust: avoid -D ~~/AFP/thys after crash of AFP.init (notably in AFP/1001c0dfced0); | changeset | files |
| Sat, 17 Jul 2021 22:17:27 +0200 | wenzelm | more portable across history; | changeset | files |
| Sat, 17 Jul 2021 22:12:06 +0200 | wenzelm | proper isabelle.setup.Setup build; | changeset | files |
| Sat, 17 Jul 2021 21:56:39 +0200 | wenzelm | rebuild component; | changeset | files |