From 3f91f61735ed8741d9601c8e2349336a7deb61a7 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Fri, 1 Apr 2005 20:24:24 +0000
Subject: mapStr ; appPredefined in err monad

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

(limited to 'src/HelpFile')

diff --git a/src/HelpFile b/src/HelpFile
index 22e697da6..ead186001 100644
--- a/src/HelpFile
+++ b/src/HelpFile
@@ -38,6 +38,7 @@ i,  import: i File
       -res          set the name used for resource (with -old option)
       -path         use the (colon-separated) search path to find modules
       -optimize     select an optimization to override file-defined flags
+      -conversion   select parsing method (values strict|nondet)
   examples:
       i English.gf                      -- ordinary import of Concrete
       i -retain german/ParadigmsGer.gf  -- import of Resource to test
-- 
cgit v1.2.3