From e48f36b29f22134e183d89b7b9800906d52fc5da Mon Sep 17 00:00:00 2001 From: Marius Vollmer Date: Tue, 3 Jul 2001 17:40:49 +0000 Subject: [PATCH] Added Greg Badros' many changes. --- AUTHORS | 1 + 1 file changed, 1 insertion(+) diff --git a/AUTHORS b/AUTHORS index 966ed0f73..c4bccb6a8 100644 --- a/AUTHORS +++ b/AUTHORS @@ -188,6 +188,7 @@ Many other changes throughout. Greg Badros: In the subdirectory doc, changes to: data-rep.texi +Many changes throughout. Neil Jerram: In the subdirectory ice-9, wrote: