# HG changeset patch
# User wenzelm
# Date 970236004 -7200
# Node ID 7e16b36c004fa6d555cc813155b1fed521148eb3
# Parent  99890c2c3d82cf247e87edecab69890aafce67f4
tuned;

diff -r 99890c2c3d82 -r 7e16b36c004f Admin/page/dist-content/packages.content
--- a/Admin/page/dist-content/packages.content	Fri Sep 29 11:51:42 2000 +0200
+++ b/Admin/page/dist-content/packages.content	Fri Sep 29 16:00:04 2000 +0200
@@ -83,9 +83,9 @@
 <p>
 
 A typical Linux/x86 site installation of Isabelle/HOL works as
-follows.  Using GNU <tt>tar</tt> we uncompress and unpack the archives
-into the <tt>/usr/local</tt> directory; this location may be changed
-to anything appropriate.
+follows.  By using GNU <tt>tar</tt>, the archives are uncompressed and
+unpacked into the <tt>/usr/local</tt> directory (this location may be
+changed to anything appropriate).
 
 <p>