mapStr ; appPredefined in err monad

2005-04-01 20:24:24 +00:00
parent 75c08d7abf
commit 3f91f61735
4 changed files with 77 additions and 40 deletions
--- 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