===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/printhelp.sm1,v
retrieving revision 1.8
retrieving revision 1.11
diff -u -p -r1.8 -r1.11
--- OpenXM/src/kan96xx/Doc/printhelp.sm1	2004/04/29 12:04:45	1.8
+++ OpenXM/src/kan96xx/Doc/printhelp.sm1	2013/10/11 01:08:35	1.11
@@ -72,6 +72,7 @@
    [(parse) (bfunction.sm1) pushfile] extension ( ) message 
    [(parse) (oxasir.sm1)pushfile] extension ( ) message
    [(parse) (intw.sm1)pushfile] extension ( ) message
+   [(parse) (gfan.sm1)pushfile] extension ( ) message
    ( ) message
    (\end{verbatim}) message   
 
@@ -95,6 +96,13 @@
          (db.clear.es)
          (ecart.gb) (ecart.minimalResol) (ecart.minimalBase) (ecart.syz)
          (ecartd.reduction)
+         (mgkz) 
+         (gfan)
+         (usePolymake.local)
+         (usePolymake.OoHG.native)
+         (usePolymake.OoHG.curl)
+         (doPolyamke.OoHG)
+         (cgiPolymake)
         ]
   def
   keys shell /keys set