| Tue, 17 Nov 2009 18:52:30 +0100 | hoelzl | Added derivation and Brouwer's fixpoint theorem in Multivariate Analysis (translated by Robert Himmelmann from HOL-light) | changeset | files |
| Tue, 17 Nov 2009 18:25:05 +0100 | blanchet | merged | changeset | files |
| Tue, 17 Nov 2009 18:24:43 +0100 | blanchet | run Nitpick examples if Kodkodi is available | changeset | files |
| Tue, 17 Nov 2009 15:55:30 +0100 | wenzelm | merged | changeset | files |
| Tue, 17 Nov 2009 14:10:31 +0100 | blanchet | fixed "expect" of Nitpick examples to reflect latest changes in Nitpick | changeset | files |
| Tue, 17 Nov 2009 13:51:56 +0100 | blanchet | merged | changeset | files |
| Tue, 17 Nov 2009 13:51:16 +0100 | blanchet | use SAT solver that's available everywhere for this example | changeset | files |
| Tue, 17 Nov 2009 13:50:46 +0100 | blanchet | invoke Kodkodi from Nitpick using new $KODKOD/bin/kodkodi script; | changeset | files |