| 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 |
| Sun, 15 Jan 2023 20:20:59 +0100 | wenzelm | clarified modules; | changeset | files |
| Sun, 15 Jan 2023 20:00:44 +0100 | wenzelm | merged | changeset | files |
| Sun, 15 Jan 2023 20:00:37 +0100 | wenzelm | more complete Bibtex database; | changeset | files |