| Wed, 07 Sep 2022 11:15:04 +0200 | wenzelm | tool to build Isabelle component for PostgreSQL JDBC; | changeset | files |
| Tue, 06 Sep 2022 21:06:20 +0200 | wenzelm | clarified goal structure with proper instantiation of main goal, to support "show_goal_inst"; | changeset | files |
| Tue, 06 Sep 2022 12:44:02 +0200 | wenzelm | option "show_states" for more verbosity of batch-builds; | changeset | files |