| Thu, 04 Apr 2013 18:06:48 +0200 | wenzelm | tuned signature -- concentrate GUI tools; | file | diff | annotate |
| Wed, 04 Jan 2012 15:41:18 +0100 | wenzelm | updated version information; | file | diff | annotate |
| Tue, 29 Nov 2011 21:29:53 +0100 | wenzelm | separate compilation of PIDE vs. Pure sources, which enables independent Scala library; | file | diff | annotate |
| Mon, 28 Nov 2011 22:18:19 +0100 | wenzelm | explicit indication of modules for independent Scala library; | file | diff | annotate |
| Thu, 23 Jun 2011 14:52:32 +0200 | wenzelm | explicit import java.lang.System to prevent odd scope problems; | file | diff | annotate |
| Wed, 22 Dec 2010 12:05:17 +0100 | wenzelm | more explicit jvm_name; | file | diff | annotate |
| Mon, 10 May 2010 17:37:32 +0200 | wenzelm | more convenient look-and-feel setup; | file | diff | annotate |