| Thu, 31 Jan 2019 21:33:24 +0100 | wenzelm | removed left-over test material (amending bb0a354f6b46); | changeset | files |
| Thu, 31 Jan 2019 21:21:44 +0100 | wenzelm | updated to polyml-test-1236652ebd55; | changeset | files |
| Thu, 31 Jan 2019 17:18:15 +0100 | wenzelm | added option jedit_text_overview for visual appearance (not performance, see also 72216713733a); | changeset | files |