| Sun, 15 Sep 2019 13:37:53 +0200 | wenzelm | proper clean_theories wrt. dynamic dep_graph; | changeset | files |
| Sun, 15 Sep 2019 13:12:13 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 14 Sep 2019 22:13:36 +0200 | wenzelm | potentially more robust: read under lock if not yet set; | changeset | files |