===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/printhelp.sm1,v
retrieving revision 1.9
retrieving revision 1.11
diff -u -p -r1.9 -r1.11
--- OpenXM/src/kan96xx/Doc/printhelp.sm1	2007/06/03 01:46:52	1.9
+++ 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   
 
@@ -96,6 +97,12 @@
          (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