summaryrefslogtreecommitdiff
path: root/src/HelpFile
diff options
context:
space:
mode:
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