Tue, 09 May 2006 10:07:38 +0200 | haftmann | removed superfluous eq_ord | file | diff | annotate |
Thu, 22 Dec 2005 19:08:15 +0100 | haftmann | slight improvements | file | diff | annotate |
Wed, 21 Dec 2005 17:00:57 +0100 | haftmann | slight improvements | file | diff | annotate |
Wed, 21 Dec 2005 15:18:57 +0100 | haftmann | slight refinements | file | diff | annotate |
Mon, 12 Dec 2005 17:24:06 +0100 | haftmann | added generic name mangler | file | diff | annotate |