| Mon, 21 Sep 2009 12:22:53 +0200 | haftmann | entry point theory for examples; reactivated half-dead example | changeset | files |
| Mon, 21 Sep 2009 11:15:55 +0200 | boehmes | merged | changeset | files |
| Mon, 21 Sep 2009 11:15:21 +0200 | boehmes | corrected remote SMT solver invocation | changeset | files |
| Mon, 21 Sep 2009 10:58:25 +0200 | haftmann | theory entry point for session Hoare_Parallel (now also with proper underscore) | changeset | files |
| Mon, 21 Sep 2009 08:45:31 +0200 | boehmes | merged | changeset | files |
| Mon, 21 Sep 2009 08:34:56 +0200 | boehmes | tuned author | changeset | files |
| Fri, 18 Sep 2009 18:13:19 +0200 | boehmes | added new method "smt": an oracle-based connection to external SMT solvers | changeset | files |