| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 15:59:28 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 15:41:46 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 19:41:52 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Sat, 16 Jan 2021 22:52:43 +0100 |
wenzelm |
updated to scala-2.13.4;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Wed, 15 Jan 2020 19:54:50 +0100 |
wenzelm |
misc tuning, following hint by IntelliJ;
|
file |
diff |
annotate
|
| 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
|
| Thu, 09 Aug 2012 21:09:24 +0200 |
wenzelm |
refined recover_spans: take visible range into account, reparse and trim results -- to improve editing experience wrt. unbalanced quotations etc.;
|
file |
diff |
annotate
|
| Thu, 09 Aug 2012 19:51:29 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 09 Aug 2012 19:37:42 +0200 |
wenzelm |
more direct Linear_Set.reverse, swapping orientation of the graph;
|
file |
diff |
annotate
|
| Mon, 27 Feb 2012 17:13:25 +0100 |
wenzelm |
prefer final ADTs -- prevent ooddities;
|
file |
diff |
annotate
|
| Sun, 26 Feb 2012 19:20:46 +0100 |
wenzelm |
more PIDE modules;
|
file |
diff |
annotate
|
| Thu, 23 Feb 2012 18:38:30 +0100 |
wenzelm |
streamlined abstract datatype, eliminating odd representation class;
|
file |
diff |
annotate
|
| Thu, 23 Feb 2012 18:14:58 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 12 May 2011 16:28:46 +0200 |
wenzelm |
minor adaption for scala-2.9.0.final;
|
file |
diff |
annotate
|
| Sun, 22 Aug 2010 22:09:14 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 17 Aug 2010 15:10:49 +0200 |
wenzelm |
added functor Linear_Set, based on former adhoc structures in document.ML;
|
file |
diff |
annotate
|
| Fri, 13 Aug 2010 17:35:28 +0200 |
wenzelm |
added get_after convenience;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Mon, 24 May 2010 23:01:51 +0200 |
wenzelm |
renamed "rev" to "reverse" following usual Scala conventions;
|
file |
diff |
annotate
|
| Sat, 22 May 2010 23:53:09 +0200 |
wenzelm |
added rev_iterator;
|
file |
diff |
annotate
|
| Mon, 10 May 2010 15:00:11 +0200 |
wenzelm |
adapted to scala-2.8.0.RC2;
|
file |
diff |
annotate
|
| Mon, 29 Mar 2010 22:43:56 +0200 |
wenzelm |
adapted to Scala 2.8.0 Beta1 -- with notable changes to scala.collection;
|
file |
diff |
annotate
|
| Sun, 10 Jan 2010 23:43:25 +0100 |
wenzelm |
elements with start entry;
|
file |
diff |
annotate
|
| Sun, 10 Jan 2010 17:29:09 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 16 Sep 2009 21:31:57 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 16 Sep 2009 00:12:52 +0200 |
wenzelm |
added append_after (tuned version of former insert_after of Seq);
|
file |
diff |
annotate
|
| Tue, 15 Sep 2009 23:57:07 +0200 |
wenzelm |
double linking for improved performance of "prev";
|
file |
diff |
annotate
|
| Tue, 01 Sep 2009 13:31:22 +0200 |
wenzelm |
misc cleanup and internal reorganization;
|
file |
diff |
annotate
|
| Tue, 01 Sep 2009 11:52:19 +0200 |
wenzelm |
added linear_set.scala from http://isabelle.in.tum.de/repos/isabelle-jedit/rev/d567692f9717
|
file |
diff |
annotate
|