| Fri, 27 Mar 2020 22:01:27 +0100 | wenzelm | misc tuning based on hints by IntelliJ IDEA; | file | diff | annotate |
| Sun, 19 Jan 2020 14:50:03 +0100 | wenzelm | clarified file names; | file | diff | annotate |
| Thu, 06 Dec 2018 12:55:53 +0100 | wenzelm | clarified doc sections: add-on components may focus their own application name; | file | diff | annotate |
| Sun, 11 Nov 2018 12:13:24 +0100 | wenzelm | clarified display name; | file | diff | annotate |
| Mon, 12 Feb 2018 13:27:30 +0100 | wenzelm | permissive Doc.dirs: some entries may be absent due to distribution bootstrap, e.g. $JEDIT_HOME/dist/doc; | file | diff | annotate |
| Fri, 19 Jan 2018 14:55:46 +0100 | wenzelm | formal treatment of documentation names; | file | diff | annotate |
| Sun, 10 Dec 2017 20:29:00 +0100 | wenzelm | avoid println with its extra CR on Windows; | file | diff | annotate |