| Tue, 04 Apr 2017 18:43:58 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 24 Oct 2016 12:16:12 +0200 | wenzelm | discontinued unused / untested distinction of separate PIDE modules; | file | diff | annotate |
| Thu, 08 Jan 2015 20:56:39 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 22 Apr 2014 22:15:44 +0200 | wenzelm | accomodate scala-2.11.0: evade somewhat erratic fix of ImmutableSetFactory in Scala/bfa70315d72d; | file | diff | annotate |