| Thu, 27 Sep 2012 00:40:51 +0200 | blanchet | modernized examples; | changeset | files |
| Wed, 26 Sep 2012 23:30:19 +0200 | wenzelm | some support for jEdit warmstart; | changeset | files |
| Wed, 26 Sep 2012 19:50:10 +0200 | wenzelm | discontinued XML.cache experiment -- Poly/ML 5.5.0 RTS does online sharing better; | changeset | files |
| Wed, 26 Sep 2012 16:37:21 +0200 | wenzelm | tuned message; | changeset | files |
| Wed, 26 Sep 2012 15:04:15 +0200 | wenzelm | merged | changeset | files |
| Wed, 26 Sep 2012 10:41:36 +0200 | blanchet | disable parallel proofs for two big examples -- speeds up things and eliminates spurious Interrupt exceptions (to be investigated) | changeset | files |
| Wed, 26 Sep 2012 10:01:00 +0200 | blanchet | got rid of other instance of shaky "Thm.generalize" | changeset | files |