| Mon, 29 Aug 2022 19:14:04 +0200 | wenzelm | tool to build Isabelle component for cvc5; | changeset | files |
| Mon, 29 Aug 2022 16:49:42 +0200 | wenzelm | tuned: avoid odd stateful programming; | changeset | files |
| Sun, 28 Aug 2022 21:25:28 +0200 | wenzelm | more markup (for batch build); | changeset | files |
| Sun, 28 Aug 2022 20:21:47 +0200 | wenzelm | tuned; | changeset | files |