| Sat, 15 Jan 2011 14:19:37 +0100 | wenzelm | misc updates for release; | changeset | files |
| Sat, 15 Jan 2011 14:02:24 +0100 | wenzelm | merged; | changeset | files |
| Sat, 15 Jan 2011 13:34:10 +0100 | wenzelm | misc tuning for release; | changeset | files |
| Sat, 15 Jan 2011 13:48:45 +0100 | boehmes | normalize Z3 models: assignments to free variables should ideally not refer to other free variables | changeset | files |
| Sat, 15 Jan 2011 13:41:58 +0100 | berghofe | Also added SPARK to test and clean targets. | changeset | files |
| Sat, 15 Jan 2011 13:19:16 +0100 | berghofe | merged | changeset | files |
| Sat, 15 Jan 2011 12:49:10 +0100 | berghofe | Added entry for HOL-SPARK | changeset | files |