Sun, 15 Sep 2019 13:52:30 +0200 | wenzelm | more ambitious options (again, after 93aa546ffbac); | changeset | files |
Sun, 15 Sep 2019 13:42:01 +0200 | wenzelm | tuned signature; | changeset | files |
Sun, 15 Sep 2019 13:37:53 +0200 | wenzelm | proper clean_theories wrt. dynamic dep_graph; | changeset | files |