| Wed, 09 Nov 2022 12:05:32 +0100 | wenzelm | tuned signature, following hints by IntelliJ IDEA; | changeset | files |
| Tue, 08 Nov 2022 08:41:48 +0100 | nipkow | merged | changeset | files |
| Tue, 08 Nov 2022 08:41:29 +0100 | nipkow | retain derived lemma for better findability | changeset | files |
| Mon, 07 Nov 2022 22:16:37 +0100 | nipkow | generalized sorted_sort_id to sort_key_id_if_sorted | changeset | files |
| Mon, 07 Nov 2022 21:53:36 +0100 | wenzelm | suppress document_required GUI element for now: still unused; | changeset | files |
| Mon, 07 Nov 2022 21:51:14 +0100 | wenzelm | clarified layout; | changeset | files |
| Mon, 07 Nov 2022 21:32:09 +0100 | wenzelm | clarified node_required status: distinguish theory_required vs. document_required; | changeset | files |
| Sun, 06 Nov 2022 23:10:28 +0100 | wenzelm | proper user tool; | changeset | files |