| Wed, 04 Jun 2014 15:32:25 +0200 | noschinl | set USER_HOME to affect also ISABELLE_PATH et al | changeset | files |
| Tue, 03 Jun 2014 16:27:31 +0200 | blanchet | merge | changeset | files |
| Tue, 03 Jun 2014 16:22:59 +0200 | blanchet | updated SMT2 certificates | changeset | files |
| Tue, 03 Jun 2014 16:02:42 +0200 | blanchet | tune | changeset | files |
| Tue, 03 Jun 2014 16:02:41 +0200 | blanchet | disable hard-to-reconstruct Z3 feature | changeset | files |
| Tue, 03 Jun 2014 14:38:41 +0200 | blanchet | new Z3 4.3.2 component, based on more recent repository version, and whose Mac binary was built on Mac OS X 10.7 | changeset | files |
| Tue, 03 Jun 2014 16:22:01 +0200 | hoelzl | use 0 as integral-value for non-integrable functions, simplify a couple of rewrite rules | changeset | files |