| 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 |