===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/printhelp.sm1,v
retrieving revision 1.4
retrieving revision 1.8
diff -u -p -r1.4 -r1.8
--- OpenXM/src/kan96xx/Doc/printhelp.sm1	2001/08/12 07:20:37	1.4
+++ OpenXM/src/kan96xx/Doc/printhelp.sm1	2004/04/29 12:04:45	1.8
@@ -67,33 +67,13 @@
    (library files by the command  $cohom.sm1$ run) message
    (\verb+ ox_asir + functions require open asir module.) message
    (  ) message
-   (\noindent ) messagen
-   [(parse) (var.sm1) pushfile] extension ( ) message 
-   (\noindent ) messagen
+   (\noindent \begin{verbatim}) message
+   [(parse) (cohom.sm1) pushfile] extension ( ) message   
    [(parse) (bfunction.sm1) pushfile] extension ( ) message 
-   (\noindent ) messagen
-   [(parse) (hol.sm1) pushfile] extension ( ) message
-   (\noindent ) messagen   
-   [(parse) (gkz.sm1) pushfile] extension ( ) message
-   (\noindent ) messagen
-   [(parse) (appell.sm1)pushfile] extension ( ) message
-   (\noindent ) messagen   
-   [(parse) (resol0.sm1)pushfile] extension ( ) message
-   (\noindent ) messagen   
-   [(parse) (complex.sm1)pushfile] extension ( ) message
-   (\noindent ) messagen   
-   /BFmessage 0 def
-   [(parse) (restall.sm1)pushfile] extension ( ) message
-   (\noindent ) messagen   
-   [(parse) (restall_s.sm1)pushfile] extension ( ) message
-   (\noindent ) messagen   
-   [(parse) (ox.sm1)pushfile] extension ( ) message
-   (\noindent ) messagen   
    [(parse) (oxasir.sm1)pushfile] extension ( ) message
-   (\noindent ) messagen   
-   [(parse) (r-interface.sm1)pushfile] extension ( ) message
-   (\noindent ) messagen   
    [(parse) (intw.sm1)pushfile] extension ( ) message
+   ( ) message
+   (\end{verbatim}) message   
 
 %%        Offverbose must be the smallest
   /keys [(Offverbose) (ann-t-f) (appell1)  (bfunction) (rank) 
@@ -109,10 +89,12 @@
          (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)
         ]
   def
   keys shell /keys set