--- manual/manual.tex	2004/10/17 18:25:18	1.26
+++ manual/manual.tex	2005/06/15 14:56:02	1.28
@@ -1,4 +1,4 @@
-% $Header: /home/ubuntu/mnt/e9_copy/manual/manual.tex,v 1.26 2004/10/17 18:25:18 edhill Exp $
+% $Header: /home/ubuntu/mnt/e9_copy/manual/manual.tex,v 1.28 2005/06/15 14:56:02 afe Exp $
 % $Name:  $
 
 \documentclass[10pt]{book}