bug fixes ; command so ; reintroduce batch mode

1 files changed, 11 insertions, 0 deletions

diff --git a/src/HelpFile b/src/HelpFile
index 833d0c1f4..bd8b096ea 100644
--- a/src/HelpFile
+++ b/src/HelpFile
@@ -145,6 +145,17 @@ cc, compute_concrete: cc Term
   flags:
      -res      use another module than the topmost one
 
+so, show_operations: so Type
+      Show oper operations with the given value type. Uses the topmost 
+      resource module to resolve constant names. 
+      N.B. You need the flag -retain when importing the grammar, if you want 
+      the oper definitions to be retained after compilation; otherwise this
+      command does not find any oper constants.
+      N.B.' The value type may not be defined in a supermodule of the
+      topmost resource. In that case, use appropriate qualified name.
+  flags:
+     -res      use another module than the topmost one
+
 t,  translate: t Lang Lang String
       Parses String in Lang1 and linearizes the resulting Trees in Lang2.
   flags: