Changes for Texinfo 3.8 release; see ChangeLog.
authorKarl Berry <karl@gnu.org>
Mon, 30 Sep 1996 17:39:54 +0000 (17:39 +0000)
committerKarl Berry <karl@gnu.org>
Mon, 30 Sep 1996 17:39:54 +0000 (17:39 +0000)
commita8de4b93e38fe2cad12fa68aab7d0054eaf55e2a
tree492646ca820a91b8cf7052def7b7304de39fa5b0
parent6e7fa14c6524a96d71d18520676e03ea05011c3b
Changes for Texinfo 3.8 release; see ChangeLog.
texinfo.tex