| Sat, 22 Sep 2012 21:59:40 +0200 | haftmann | more strict typscheme_equiv check: must fix variables of more specific type; | changeset | files |
| Sat, 22 Sep 2012 21:59:40 +0200 | haftmann | cache should not contain material from descendant theory | changeset | files |
| Sat, 22 Sep 2012 21:23:16 +0200 | wenzelm | some PIDE NEWS from this summer; | changeset | files |