| Sun, 05 Nov 2017 14:35:43 +0100 | wenzelm | updated to scala-2.12.4; | file | diff | annotate |
| Mon, 24 Oct 2016 12:16:12 +0200 | wenzelm | discontinued unused / untested distinction of separate PIDE modules; | file | diff | annotate |
| Wed, 05 Oct 2016 19:45:36 +0200 | wenzelm | more date and time operations from Java 8; | file | diff | annotate |
| Mon, 28 Apr 2014 12:56:54 +0200 | wenzelm | added Scala version of module Event_Timer; | file | diff | annotate |