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 |
Thu, 20 Feb 2014 14:36:17 +0100 | wenzelm | tuned imports; | file | diff | annotate |
Fri, 10 Aug 2012 20:53:16 +0200 | wenzelm | clarified Linear_Set.next/prev: check definedness; | file | diff | annotate |
Fri, 10 Aug 2012 13:15:00 +0200 | wenzelm | tuned; | file | diff | annotate |