| Mon, 18 Feb 2019 16:13:10 +0100 | wenzelm | suppress nodes with vacuous status, notably empty nodes (amending 5f160df596c1); | changeset | files |
| Mon, 18 Feb 2019 16:04:52 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 18 Feb 2019 15:57:06 +0100 | wenzelm | more robust: avoid potentially unrelated snapshot for the sake of is_suppressed; | changeset | files |
| Sun, 17 Feb 2019 22:15:02 +0100 | wenzelm | clarified Node_Status vs. is_suppressed, e.g. relevant for purged nodes in Theories_Dockable after 0626cae56b6f; | changeset | files |
| Sun, 17 Feb 2019 19:31:04 +0100 | wenzelm | updated to polyml-test-8fda4fd22441; | changeset | files |
| Fri, 15 Feb 2019 18:24:22 +0000 | haftmann | proper installation of ancient procedure for preorders | changeset | files |