From 79488af4945fbc4c4b19479ca93063a60155c92b Mon Sep 17 00:00:00 2001
From: sperber <sperber>
Date: Wed, 13 Nov 2002 12:30:15 +0000
Subject: [PATCH] Remove even more outdated crud.

---
 doc/scsh-manual/intro.tex | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/doc/scsh-manual/intro.tex b/doc/scsh-manual/intro.tex
index 5336b87..bc514db 100644
--- a/doc/scsh-manual/intro.tex
+++ b/doc/scsh-manual/intro.tex
@@ -403,12 +403,9 @@ several from which to choose.
 Besides the \ex{define-record} macro, which Shivers prefers\footnote{He wrote
 it.}, you might instead wish to employ the notationally-distinct
 \ex{define-record-type} macro that Jonathan Rees 
-prefers,\footnote{He wrote it.}
-or the identically named but wholly different \ex{define-record-type}
-macro that Richard Kelsey prefers.\footnote{He wrote it.}
-The former can be found in file \ex{rts/jar-defrecord.scm} and package
-\ex{define-record-types}; the latter can be found in file 
-\ex{big/defrecord.scm} and package \ex{defrecord}.
+prefers\footnote{He wrote it.}.
+It can be found in the 
+\ex{define-record-types} structure.
 
 Alternatively, you may define your own, of course.