| Thu, 10 Dec 2020 16:35:56 +0100 | wenzelm | clarified signature: more specific types; | changeset | files |
| Thu, 10 Dec 2020 15:27:41 +0100 | wenzelm | tuned messages; | changeset | files |
| Thu, 10 Dec 2020 15:21:55 +0100 | wenzelm | clarified output of Isabelle symbols; | changeset | files |
| Thu, 10 Dec 2020 15:08:31 +0100 | wenzelm | tuned signature; | changeset | files |
| Thu, 10 Dec 2020 14:51:56 +0100 | wenzelm | clarified file sources: take from build database instead of file-system; | changeset | files |
| Thu, 10 Dec 2020 14:31:34 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 10 Dec 2020 14:13:03 +0100 | wenzelm | tuned messages; | changeset | files |