Diff of /manual/manual.tex

Parent Directory | Revision Log | Revision Graph | Patch

--- manual/manual.tex	2005/07/14 17:18:07	1.29
+++ manual/manual.tex	2005/07/14 19:22:18	1.30
@@ -1,4 +1,4 @@
-% $Header: /home/ubuntu/mnt/e9_copy/manual/manual.tex,v 1.29 2005/07/14 17:18:07 cnh Exp $
+% $Header: /home/ubuntu/mnt/e9_copy/manual/manual.tex,v 1.30 2005/07/14 19:22:18 molod Exp $
 % $Name:  $
 
 \documentclass[10pt]{book}
@@ -183,7 +183,7 @@
 \input{part6/part6}
 %\pagebreak
 
-% Section: Diagnostics
+% Section: Pre-processing and Post-processing Tools
 \input{part7/part7}
 %\pagebreak