Mon, 16 Dec 1996 15:45:02 +0100 | oheimb | added consistency comment | file | diff | annotate |
Mon, 16 Dec 1996 15:45:01 +0100 | oheimb | added consistency comment | file | diff | annotate |
Mon, 16 Dec 1996 12:36:35 +0100 | wenzelm | tuned read and write functions; | file | diff | annotate |
Mon, 16 Dec 1996 10:04:12 +0100 | wenzelm | added write_charnames'; | file | diff | annotate |
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 |