| Fri, 03 Apr 2015 18:36:19 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 01 Apr 2015 10:35:43 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 30 Apr 2014 13:11:24 +0200 | wenzelm | support for long names in Scala; | file | diff | annotate |
| Sat, 15 Mar 2014 12:51:14 +0100 | wenzelm | clarified completion ordering: prefer local names; | file | diff | annotate |
| Mon, 10 Mar 2014 10:04:26 +0100 | wenzelm | more direct Long_Name.qualification; | file | diff | annotate |
| Sat, 22 Feb 2014 16:58:02 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 08 Mar 2009 16:53:07 +0100 | wenzelm | moved basic algebra of long names from structure NameSpace to Long_Name; | file | diff | annotate |