| Tue, 12 Aug 2014 15:46:20 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 24 Apr 2014 11:01:14 +0200 | wenzelm | tuned signature, in accordance to ML version; | file | diff | annotate |
| Tue, 01 Apr 2014 16:16:25 +0200 | wenzelm | simplified using "value class"; | file | diff | annotate |
| Thu, 29 Aug 2013 21:17:46 +0200 | wenzelm | option to insert unique completion immediately into buffer; | file | diff | annotate |
| Sat, 30 Mar 2013 16:15:26 +0100 | wenzelm | more operations on Time, Timing; | file | diff | annotate |
| Tue, 26 Mar 2013 11:26:13 +0100 | wenzelm | dockable window for timing information; | file | diff | annotate |
| Fri, 30 Nov 2012 21:28:35 +0100 | wenzelm | tuned import; | file | diff | annotate |
| Thu, 24 May 2012 22:07:00 +0200 | wenzelm | less warning in scala-2.10.0-M3; | file | diff | annotate |
| Sat, 03 Mar 2012 11:09:17 +0100 | wenzelm | relevant timing as in ML; | file | diff | annotate |
| Mon, 27 Feb 2012 17:13:25 +0100 | wenzelm | prefer final ADTs -- prevent ooddities; | file | diff | annotate |
| Tue, 29 Nov 2011 21:50:00 +0100 | wenzelm | clarified Time vs. Timing; | file | diff | annotate | base |