Sun, 09 Jun 2019 22:22:36 +0200 | wenzelm | merged; | changeset | files |
Sun, 09 Jun 2019 20:24:16 +0200 | wenzelm | Added tag Isabelle2019 for changeset 83774d669b51 | changeset | files |
Fri, 07 Jun 2019 11:08:29 +0200 | blanchet | handle timeouts gracefully in 'smt' proof method (patch due to Mathias Fleury) | changeset | files |