| 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 |