src/Pure/General/linear_set.scala
Tue, 04 Apr 2017 18:43:58 +0200 wenzelm tuned signature;
Mon, 24 Oct 2016 12:16:12 +0200 wenzelm discontinued unused / untested distinction of separate PIDE modules;
Thu, 08 Jan 2015 20:56:39 +0100 wenzelm tuned;
Tue, 22 Apr 2014 22:15:44 +0200 wenzelm accomodate scala-2.11.0: evade somewhat erratic fix of ImmutableSetFactory in Scala/bfa70315d72d;
Thu, 20 Feb 2014 14:36:17 +0100 wenzelm tuned imports;
Fri, 10 Aug 2012 20:53:16 +0200 wenzelm clarified Linear_Set.next/prev: check definedness;
Fri, 10 Aug 2012 13:15:00 +0200 wenzelm tuned;
less more (0) -10 -7 tip