diff options
| author | aarne <aarne@cs.chalmers.se> | 2005-12-21 09:28:28 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2005-12-21 09:28:28 +0000 |
| commit | e6f46da89b2f04fcd2c264f7383f51814a6e2def (patch) | |
| tree | b00b4ccda51f0c89a83837b1fdca315187242d04 | |
| parent | 24953789b06cfe54fd75421183bd7006a09c990d (diff) | |
batch mode in tutorial
| -rw-r--r-- | doc/tutorial/gf-tutorial2.txt | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/doc/tutorial/gf-tutorial2.txt b/doc/tutorial/gf-tutorial2.txt index 9ba3a9619..077cb4da1 100644 --- a/doc/tutorial/gf-tutorial2.txt +++ b/doc/tutorial/gf-tutorial2.txt @@ -1835,13 +1835,14 @@ The rest of the modules (black) come from the resource. ==More concepts of abstract syntax== - ===Dependent types=== ===Higher-order abstract syntax=== ===Semantic definitions=== +===List categories=== + ==Transfer modules== @@ -1951,7 +1952,16 @@ Forthcoming. ===Communicating with GF=== Other processes can communicate with the GF command interpreter, -and also with the GF syntax editor. +and also with the GF syntax editor. Useful flags when invoking GF are +- ``-batch`` suppresses the promps and structures the communication with XML tags. +- ``-s`` suppresses non-output non-error messages and XML tags. +-- ``-nocpu`` suppresses CPU time indication. + +Thus the most silent way to invoke GF is +``` + gf -batch -s -nocpu +``` + ===Embedded grammars in Haskell, Java, and Prolog=== |