diff make-dist @ 7861:8996abee8718

(iso-iso2tex-trans-tab): Change a few characters. (iso-iso2gtex-trans-tab): Likewise. (iso-tex2iso-trans-tab): Add braces to some characters. (iso-gtex2iso-trans-tab): Likewise.
author Richard M. Stallman <rms@gnu.org>
date Sun, 12 Jun 1994 15:58:51 +0000
parents 6191acd134b6
children cba3121c44b7
line wrap: on
line diff