| Sun, 05 Mar 2023 15:34:00 +0100 | wenzelm | clarified signature: manage "verbose" flag via "progress"; | changeset | files |
| Sun, 05 Mar 2023 15:25:02 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 05 Mar 2023 15:19:53 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 05 Mar 2023 15:19:17 +0100 | wenzelm | more operations; | changeset | files |
| Sun, 05 Mar 2023 14:53:32 +0100 | wenzelm | tuned signature; | changeset | files |
| Sun, 05 Mar 2023 13:42:10 +0100 | wenzelm | more robust: proper bound checks; | changeset | files |
| Sun, 05 Mar 2023 12:52:04 +0100 | wenzelm | enforce rebuild of Isabelle/ML, after various changes to build database management; | changeset | files |
| Sat, 04 Mar 2023 23:43:53 +0100 | wenzelm | clarified modules; | changeset | files |