From 076918dc4d5a316093ebd864cd822343162734b2 Mon Sep 17 00:00:00 2001 From: Chris Hanson Date: Wed, 18 Jul 2001 05:11:09 +0000 Subject: [PATCH] Update references to 7.5.16 in the document body. --- v7/doc/user-manual/user.texinfo | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/v7/doc/user-manual/user.texinfo b/v7/doc/user-manual/user.texinfo index ea6963089..a66d3b157 100644 --- a/v7/doc/user-manual/user.texinfo +++ b/v7/doc/user-manual/user.texinfo @@ -2,7 +2,7 @@ @iftex @finalout @end iftex -@comment $Id: user.texinfo,v 1.87 2001/07/18 04:46:15 cph Exp $ +@comment $Id: user.texinfo,v 1.88 2001/07/18 05:11:09 cph Exp $ @comment %**start of header (This is for running Texinfo on a region.) @setfilename user.info @settitle MIT Scheme User's Manual @@ -169,7 +169,7 @@ To install the software in @file{/usr/local}, do the following cd /usr/local rm -f bin/scheme bin/bchscheme rm -rf lib/mit-scheme -gzip -cd scheme-7.5.16-ix86-gnu-linux.tar.gz | tar xvf - +gzip -cd scheme-7.5.17-ix86-gnu-linux.tar.gz | tar xvf - @end group @end example @@ -187,7 +187,7 @@ First unpack the distribution: @example mkdir temp cd temp -gzip -cd scheme-7.5.16-ix86-gnu-linux.tar.gz | tar xvf - +gzip -cd scheme-7.5.17-ix86-gnu-linux.tar.gz | tar xvf - @end example @item @@ -527,10 +527,10 @@ itself, clear the screen, and print something like this: @example @group -Scheme saved on Monday March 19, 2001 at 5:18:49 PM - Release 7.5.16 - Microcode 14.3 - Runtime 14.188 +Scheme saved on Wednesday July 18, 2001 at 12:50:28 AM + Release 7.5.17 + Microcode 14.4 + Runtime 14.189 @end group @end example -- 2.25.1