| Sun, 15 Aug 2010 22:48:56 +0200 | wenzelm | specific types Text.Offset and Text.Range; | file | diff | annotate |
| Sat, 14 Aug 2010 11:52:24 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 29 May 2010 20:49:04 +0200 | wenzelm | tuned messages; | file | diff | annotate |
| Wed, 05 May 2010 23:55:29 +0200 | wenzelm | eliminated deprecated "--" method; | file | diff | annotate |
| Wed, 05 May 2010 22:23:45 +0200 | wenzelm | some rearrangement of Scala sources; | file | diff | annotate | base |