Update of /u/u3/gcmpack/manual/part4 In directory auden.lcs.mit.edu:/tmp/cvs-serv14563/manual/part4 Modified Files: sarch.tex Log Message: Two improvements: - the manual build now works on a "dirty" (post-verification-runs) source tree - various small fixes to the manual (mostly Y. Hu's comments)