diff src/ChangeLog @ 42512:07a33bb87f3a

Delete many TeX customizations, producing a style more consistent with our other manuals and eliminating TeX errors. Use @var instead of @i when appropriate. Fix utilization of @key.
author Richard M. Stallman <rms@gnu.org>
date Thu, 03 Jan 2002 23:38:47 +0000
parents 4fcd61c30d0a
children eeb24892e1a4
line wrap: on
line diff