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 |