diff make-dist @ 13241:b1d118fb7b3e

(UPCASE_TABLE): Definition deleted. (UPPERCASEP, LOWERCASEP, NOCASEP, UPCASE, UPCASE1, DOWNCASE) (DOWNCASE_TABLE): Case tables are now char-tables. (Vascii_upcase_table, Vascii_canon_table, Vascii_eqv_table): Declarations deleted.
author Richard M. Stallman <rms@gnu.org>
date Thu, 19 Oct 1995 00:13:45 +0000
parents 1d30a1c68e44
children 5a333a8e0ee1
line wrap: on
line diff