===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/printhelp.sm1,v
retrieving revision 1.6
retrieving revision 1.11
diff -u -p -r1.6 -r1.11
--- OpenXM/src/kan96xx/Doc/printhelp.sm1	2003/09/03 06:52:46	1.6
+++ 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   
 
@@ -89,11 +90,19 @@
          (intersection)
          (saturation)
          (res-div) (res-solv) (res-dual) (res-kernel-image) (ox) (oxconnect)
-         (ox_launch) (ox_launch_nox)
+         (ox_launch) (ox_launch_nox) (extension-oxLog)
          (debugMode) (db.where) (db.restore) (db.clear) (db.clear.es) 
          (db.where.es) (localVariables) (restoreVariables) (db.clear.ds)
          (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