===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/printhelp.sm1,v
retrieving revision 1.10
retrieving revision 1.11
diff -u -p -r1.10 -r1.11
--- OpenXM/src/kan96xx/Doc/printhelp.sm1	2009/12/11 02:09:09	1.10
+++ OpenXM/src/kan96xx/Doc/printhelp.sm1	2013/10/11 01:08:35	1.11
@@ -98,6 +98,11 @@
          (ecartd.reduction)
          (mgkz) 
          (gfan)
+         (usePolymake.local)
+         (usePolymake.OoHG.native)
+         (usePolymake.OoHG.curl)
+         (doPolyamke.OoHG)
+         (cgiPolymake)
         ]
   def
   keys shell /keys set