tuned signature;

discontinued unused / untested distinction of separate PIDE modules;

tuned;

accomodate scala-2.11.0: evade somewhat erratic fix of ImmutableSetFactory in Scala/bfa70315d72d;

tuned imports;

clarified Linear_Set.next/prev: check definedness;

tuned;

refined recover_spans: take visible range into account, reparse and trim results -- to improve editing experience wrt. unbalanced quotations etc.;
tuned signature;

tuned signature;

more direct Linear_Set.reverse, swapping orientation of the graph;
tuned;

prefer final ADTs -- prevent ooddities;

more PIDE modules;

streamlined abstract datatype, eliminating odd representation class;

tuned;

minor adaption for scala-2.9.0.final;

tuned;

added functor Linear_Set, based on former adhoc structures in document.ML;
Linear_Set.delete_after (ML): actually delete table entries;
Scala Linear_Set: clarified exceptions, according to ML version;
simplified Document.node using Linear_Set;
ML Document.edit: refer to start via NONE instead of no_id, according to Scala version;

added get_after convenience;

avoid :\ which is not tail-recursive and tends to overflow the tiny JVM stack, which is not resizable at runtime;

renamed "rev" to "reverse" following usual Scala conventions;

added rev_iterator;

adapted to scala-2.8.0.RC2;

adapted to Scala 2.8.0 Beta1 -- with notable changes to scala.collection;

elements with start entry;

tuned;

tuned;

added append_after (tuned version of former insert_after of Seq);

double linking for improved performance of "prev";
misc tuning;

misc cleanup and internal reorganization;

added linear_set.scala from http://isabelle.in.tum.de/repos/isabelle-jedit/rev/d567692f9717