| Mon, 16 Jan 2023 20:40:42 +0100 | wenzelm | permissive treatment of citations before the theory header: avoid too many changes in AFP; | changeset | files |
| Mon, 16 Jan 2023 20:08:15 +0100 | wenzelm | more detailed Program_Progress / Log_Progress: each program gets its own log output, which is attached to the document via markup; | changeset | files |
| Mon, 16 Jan 2023 13:48:03 +0100 | wenzelm | clarified documentation: avoid odd speculations about PIDE; | changeset | files |
| Sun, 15 Jan 2023 20:38:27 +0100 | wenzelm | tuned; | changeset | files |