Wed, 09 Dec 2020 20:33:02 +0100 | wenzelm | tuned comments; | changeset | files |
Wed, 09 Dec 2020 20:19:27 +0100 | wenzelm | clarified signature; | changeset | files |
Wed, 09 Dec 2020 20:10:10 +0100 | wenzelm | added "isabelle log": print messages from build database; | changeset | files |