| Fri, 21 Jul 2023 11:31:33 +0200 | wenzelm | clarified signature; | changeset | files |
| Fri, 21 Jul 2023 11:21:43 +0200 | wenzelm | clarified signature (again); | changeset | files |
| Fri, 21 Jul 2023 11:11:50 +0200 | wenzelm | tuned output; | changeset | files |
| Fri, 21 Jul 2023 11:05:50 +0200 | wenzelm | tuned output; | changeset | files |
| Fri, 21 Jul 2023 10:56:11 +0200 | wenzelm | clarified modules; | changeset | files |
| Thu, 20 Jul 2023 12:55:47 +0200 | wenzelm | more pro-forma support for afp_root; | changeset | files |
| Thu, 20 Jul 2023 12:44:46 +0200 | wenzelm | tuned NEWS: emphasize "isabelle build" add-ons; | changeset | files |