Sat, 17 Sep 2011 19:25:14 +0200 | wenzelm | more careful traversal of theory dependencies to retain standard import order; | changeset | files |
Sat, 17 Sep 2011 17:55:39 +0200 | wenzelm | sane default for class Thy_Load; | changeset | files |
Sat, 17 Sep 2011 17:05:31 +0200 | wenzelm | removed obsolete patches for PG 4.1; | changeset | files |