--- manual/s_overview/appendix_operators.tex	2001/09/27 01:57:17	1.2
+++ manual/s_overview/appendix_operators.tex	2001/10/10 16:48:38	1.3
@@ -1,4 +1,4 @@
-% $Header: /home/ubuntu/mnt/e9_copy/manual/s_overview/Attic/appendix_operators.tex,v 1.2 2001/09/27 01:57:17 cnh Exp $
+% $Header: /home/ubuntu/mnt/e9_copy/manual/s_overview/Attic/appendix_operators.tex,v 1.3 2001/10/10 16:48:38 cnh dead $
 % $Name:  $
 
 \section{Appendix:OPERATORS}