Wed, 09 Dec 2020 20:10:10 +0100 | wenzelm | added "isabelle log": print messages from build database; | changeset | files |
Wed, 09 Dec 2020 15:53:45 +0100 | wenzelm | clarified signature; | changeset | files |
Wed, 09 Dec 2020 15:14:24 +0100 | wenzelm | clarified signature; | changeset | files |