| Thu, 24 Jul 2014 10:38:46 +0200 | wenzelm | less authentic SHA1.digest: trust Scala side on blobs and avoid re-calculation via Foreign Language Interface, which might be a cause of problems; | changeset | files |
| Thu, 24 Jul 2014 10:22:34 +0200 | wenzelm | updated NEWS according to d38a98f496dd (see also bdc2c6b40bf2); | changeset | files |
| Thu, 24 Jul 2014 00:24:00 +0200 | blanchet | stick to external proofs when invoking E, because they are more detailed and do not merge steps | changeset | files |
| Thu, 24 Jul 2014 00:24:00 +0200 | blanchet | more robust handling of types for skolems (modeled as Frees) | changeset | files |
| Thu, 24 Jul 2014 00:24:00 +0200 | blanchet | tuning | changeset | files |
| Thu, 24 Jul 2014 00:24:00 +0200 | blanchet | repaired named derivations | changeset | files |