Thu, 03 Apr 2014 13:46:18 +0200 | wenzelm | more general prover operations; | file | diff | annotate |
Thu, 20 Feb 2014 14:36:17 +0100 | wenzelm | tuned imports; | file | diff | annotate |
Sat, 24 Aug 2013 13:32:51 +0200 | wenzelm | more uniform treatment of Swing_Thread context switch: prefer asynchronous Swing_Thread.later from actor; | file | diff | annotate |
Sun, 25 Nov 2012 20:59:32 +0100 | wenzelm | renamed main plugin object to PIDE; | file | diff | annotate |
Tue, 25 Sep 2012 12:17:58 +0200 | wenzelm | tuned; | file | diff | annotate |
Tue, 29 May 2012 22:24:31 +0200 | wenzelm | separate syslog dockable -- discontinued tendency of sub-window management via tabs; | file | diff | annotate |