| Thu, 31 Jan 2019 17:18:15 +0100 | wenzelm | added option jedit_text_overview for visual appearance (not performance, see also 72216713733a); | changeset | files |
| Thu, 31 Jan 2019 16:56:31 +0100 | wenzelm | adapted to a8ee66876a1a; | changeset | files |
| Thu, 31 Jan 2019 16:53:15 +0100 | wenzelm | show file-browser favorites more prominently: access to Isabelle resources; | changeset | files |
| Thu, 31 Jan 2019 16:45:24 +0100 | wenzelm | tuned -- sort lines; | changeset | files |