| Mon, 21 Sep 2009 15:33:39 +0200 | haftmann | tuned header | changeset | files |
| Mon, 21 Sep 2009 14:22:32 +0200 | haftmann | isarified proof | changeset | files |
| Mon, 21 Sep 2009 16:07:20 +0200 | wenzelm | fixed permissions -- this is a script, not an executable; | changeset | files |
| Mon, 21 Sep 2009 16:06:52 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 21 Sep 2009 13:42:36 +0200 | boehmes | deleted unused file | changeset | files |
| Mon, 21 Sep 2009 12:23:05 +0200 | haftmann | merged | changeset | files |
| 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 |
| Sun, 20 Sep 2009 19:17:33 +0200 | wenzelm | tuned tracing; | changeset | files |
| Sun, 20 Sep 2009 18:37:55 +0200 | wenzelm | scheduler backdoor: 9999 means 1 worker; | changeset | files |