From aeb926e6e6359e6906a5ba407936d772402daa0c Mon Sep 17 00:00:00 2001 From: morioka Date: Wed, 14 Oct 1998 05:42:49 +0000 Subject: [PATCH] update. --- ChangeLog | 2 ++ 1 file changed, 2 insertions(+) diff --git a/ChangeLog b/ChangeLog index 8d56f38..c3b05f8 100644 --- a/ChangeLog +++ b/ChangeLog @@ -7,6 +7,8 @@ * rep/texi/mapping: Add . + * dtd/sinfo.dtd: Add and abolish `theorem'. + 1998-09-15 MORIOKA Tomohiko * rep/texi/mapping, rep/texi/general, rep/html/mapping, -- 1.7.10.4