diff options
Diffstat (limited to 'src/HelpFile')
| -rw-r--r-- | src/HelpFile | 1 |
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 |
