| Thu, 26 Nov 2020 16:51:40 +0100 | wenzelm | proper return code for more errors (amending d892f6d66402); | changeset | files |
| Thu, 26 Nov 2020 16:19:55 +0100 | wenzelm | more exports, as in "isabelle dump"; | changeset | files |
| Thu, 26 Nov 2020 16:14:16 +0100 | wenzelm | tuned; | changeset | files |