| Tue, 22 Apr 2014 23:49:15 +0200 | wenzelm | avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0; | file | diff | annotate |
| 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 |