From a77519ba1045d23a7bb8ea1c56cc90518e9fedb9 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Wed, 16 Jun 2004 14:49:50 +0000
Subject: bug fixes ; command so ; reintroduce batch mode

---
 src/HelpFile | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'src/HelpFile')

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:
-- 
cgit v1.2.3