src/Pure/General/linear_set.scala
Sun, 22 Aug 2010 22:09:14 +0200 wenzelm tuned;
Tue, 17 Aug 2010 15:10:49 +0200 wenzelm added functor Linear_Set, based on former adhoc structures in document.ML;
Fri, 13 Aug 2010 17:35:28 +0200 wenzelm added get_after convenience;
Sat, 29 May 2010 17:26:02 +0200 wenzelm avoid :\ which is not tail-recursive and tends to overflow the tiny JVM stack, which is not resizable at runtime;
Mon, 24 May 2010 23:01:51 +0200 wenzelm renamed "rev" to "reverse" following usual Scala conventions;
Sat, 22 May 2010 23:53:09 +0200 wenzelm added rev_iterator;
Mon, 10 May 2010 15:00:11 +0200 wenzelm adapted to scala-2.8.0.RC2;
Mon, 29 Mar 2010 22:43:56 +0200 wenzelm adapted to Scala 2.8.0 Beta1 -- with notable changes to scala.collection;
Sun, 10 Jan 2010 23:43:25 +0100 wenzelm elements with start entry;
Sun, 10 Jan 2010 17:29:09 +0100 wenzelm tuned;
Wed, 16 Sep 2009 21:31:57 +0200 wenzelm tuned;
Wed, 16 Sep 2009 00:12:52 +0200 wenzelm added append_after (tuned version of former insert_after of Seq);
Tue, 15 Sep 2009 23:57:07 +0200 wenzelm double linking for improved performance of "prev";
Tue, 01 Sep 2009 13:31:22 +0200 wenzelm misc cleanup and internal reorganization;
Tue, 01 Sep 2009 11:52:19 +0200 wenzelm added linear_set.scala from http://isabelle.in.tum.de/repos/isabelle-jedit/rev/d567692f9717
less more (0) tip