summaryrefslogtreecommitdiff
path: root/src/HelpFile
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2006-02-25 18:59:32 +0000
committeraarne <aarne@cs.chalmers.se>2006-02-25 18:59:32 +0000
commit3cbd135010a597aa4caf1098bd21b95814f5de64 (patch)
treeea2769c8dc81619830e56a9fe5fd406db143ee2a /src/HelpFile
parent56a9e025d59d3c6df9f07a6304f7d1d56dfd96b2 (diff)
resource specialized to present tense ; preprocessor flag
Diffstat (limited to 'src/HelpFile')
-rw-r--r--src/HelpFile1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/HelpFile b/src/HelpFile
index 7edc19af7..a44470f0b 100644
--- a/src/HelpFile
+++ b/src/HelpFile
@@ -45,6 +45,7 @@ i, import: i File
-optimize select an optimization to override file-defined flags
-conversion select parsing method (values strict|nondet)
-probs read probabilities from file (format (--# prob) Fun Double)
+ -preproc use a preprocessor on each source file
-noparse read nonparsable functions from file (format --# noparse Funs)
examples:
i English.gf -- ordinary import of Concrete