=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/printhelp.sm1,v retrieving revision 1.1 retrieving revision 1.2 diff -u -p -r1.1 -r1.2 --- OpenXM/src/kan96xx/Doc/printhelp.sm1 1999/10/08 02:12:02 1.1 +++ OpenXM/src/kan96xx/Doc/printhelp.sm1 1999/11/08 09:15:00 1.2 @@ -52,6 +52,8 @@ (\verb+ ox_asir + functions require open asir module.) message ( ) message (\noindent ) messagen + [(parse) (var.sm1) pushfile] extension ( ) message + (\noindent ) messagen [(parse) (bfunction.sm1) pushfile] extension ( ) message (\noindent ) messagen [(parse) (hol.sm1) pushfile] extension ( ) message @@ -92,6 +94,9 @@ (intersection) (saturation) (res-div) (res-solv) (res-dual) (res-kernel-image) (ox) (oxconnect) + (debugMode) (db.where) (db.restore) (db.clear) (db.clear.es) + (db.where.es) (localVariables) (restoreVariables) (db.clear.ds) + (db.clear.es) ] def keys shell /keys set