| Mon, 24 Oct 2016 12:16:12 +0200 | wenzelm | discontinued unused / untested distinction of separate PIDE modules; | file | diff | annotate |
| Tue, 15 Apr 2014 12:45:16 +0200 | wenzelm | avoid conflict of Isabelle/jEdit popups with jEdit context menu; | file | diff | annotate |
| Tue, 24 Sep 2013 20:41:28 +0200 | wenzelm | more quasi-generic PIDE modules (NB: Swing/JFX needs to be kept separate from non-GUI material); | file | diff | annotate |