| 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 |