| Mon, 05 Dec 2022 12:17:56 +0100 | wenzelm | tuned messages and options; | changeset | files |
| Sun, 04 Dec 2022 18:49:58 +0100 | desharna | merged | changeset | files |
| Mon, 21 Nov 2022 18:24:55 +0100 | desharna | removed prod_set_conv attribute from top_empty_eq and top_empty_eq2 | changeset | files |
| Sun, 04 Dec 2022 14:24:42 +0100 | wenzelm | discontinued "unzip" executable (see also eb96243a25c5 and 662de910a96b); | changeset | files |
| Sun, 04 Dec 2022 14:15:12 +0100 | wenzelm | more direct access to jEdit jar resources, without unzip; | changeset | files |
| Thu, 01 Dec 2022 11:36:45 +0100 | wenzelm | clarified check: allow to remove bad directories; | changeset | files |
| Thu, 01 Dec 2022 11:32:59 +0100 | wenzelm | clarified check; | changeset | files |