| 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 |
| Mon, 29 Aug 2011 16:28:51 +0200 | wenzelm | invoke in Swing thread to make double sure; | file | diff | annotate |
| Wed, 01 Dec 2010 20:34:40 +0100 | wenzelm | more abstract/uniform handling of time, preferring seconds as Double; | file | diff | annotate |
| Sun, 29 Aug 2010 18:55:48 +0200 | wenzelm | Swing_Thread.now: volatile result to make double-sure; | file | diff | annotate |
| Sat, 07 Aug 2010 16:15:52 +0200 | wenzelm | more explicit treatment of Swing thread context; | file | diff | annotate |
| Wed, 05 May 2010 22:23:45 +0200 | wenzelm | some rearrangement of Scala sources; | file | diff | annotate | base |