Tue, 10 Dec 1996 12:55:00 +0100 | wenzelm | added read_charnames, write_charnames; | file | diff | annotate |
Wed, 27 Nov 1996 16:41:27 +0100 | wenzelm | improved some symbol names; | file | diff | annotate |
Tue, 19 Nov 1996 13:20:38 +0100 | wenzelm | tuned some char names; | file | diff | annotate |
Tue, 19 Nov 1996 13:04:07 +0100 | wenzelm | added this file; | file | diff | annotate |