| Tue, 14 Mar 2023 10:27:17 +0100 | wenzelm | clarified signature; | changeset | files |
| Tue, 14 Mar 2023 10:16:45 +0100 | wenzelm | clarified modules; | changeset | files |
| Tue, 14 Mar 2023 10:05:57 +0100 | wenzelm | tuned output; | changeset | files |
| Tue, 14 Mar 2023 09:47:07 +0100 | wenzelm | tuned output; | changeset | files |
| Tue, 14 Mar 2023 18:19:10 +0100 | nipkow | Adjusted to new map update priorities | changeset | files |
| Tue, 14 Mar 2023 14:00:07 +0100 | nipkow | bring priority in line with ordinary function update notation | changeset | files |
| Tue, 14 Mar 2023 10:35:10 +0100 | nipkow | merged | changeset | files |
| Tue, 14 Mar 2023 10:34:48 +0100 | nipkow | use tree (simpler) instead of rbt (exercise) | changeset | files |
| Mon, 13 Mar 2023 22:21:33 +0100 | wenzelm | enforce rebuild of Isabelle/ML; | changeset | files |
| Mon, 13 Mar 2023 22:18:22 +0100 | wenzelm | more direct state update; | changeset | files |
| Mon, 13 Mar 2023 22:08:46 +0100 | wenzelm | avoid too many synchronized_database; | changeset | files |
| Mon, 13 Mar 2023 21:43:55 +0100 | wenzelm | tuned output; | changeset | files |
| Mon, 13 Mar 2023 21:12:34 +0100 | wenzelm | synchronize progress messages with database; | changeset | files |
| Mon, 13 Mar 2023 20:24:13 +0100 | wenzelm | more robust SQL query for mandatory arguments; | changeset | files |
| Mon, 13 Mar 2023 20:14:19 +0100 | wenzelm | synchronize progress stop/stopped with database; | changeset | files |
| Mon, 13 Mar 2023 19:04:16 +0100 | wenzelm | more database content; | changeset | files |