| Mon, 01 Mar 2021 22:22:12 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
| Sat, 17 Mar 2018 16:32:50 +0100 | wenzelm | support for repeated events; | file | diff | annotate |
| 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 |