From 3304438e5a1b1bda431e83efa2cd96d186ebaada Mon Sep 17 00:00:00 2001 From: aarne Date: Sat, 14 May 2005 07:38:55 +0000 Subject: corrected option order; tutorial --- doc/tutorial/gf-tutorial2.html | 60 +++++++++++++++++++++++++++++++++++++++++- 1 file changed, 59 insertions(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/tutorial/gf-tutorial2.html b/doc/tutorial/gf-tutorial2.html index 51b300cd1..cc3f6f3d8 100644 --- a/doc/tutorial/gf-tutorial2.html +++ b/doc/tutorial/gf-tutorial2.html @@ -706,11 +706,69 @@ can be included in an HTML document > ! dot -Tgif Gatherer.dot > Gatherer.gif The latter command is a Unix command, issued from GF by using the -shell escape symbol !. The resulting graph is shown below. +shell escape symbol !. The resulting graph is shown in the next section. + +

+ +The command print_multi = pm is used for printing the current multilingual +grammar in various formats, of which the format -printer=graph just +shows the module dependencies. + + + +

The module structure of GathererEng

+ +The graph uses +

+ + +

Topics still to be written

+ +Resource modules, parameter, linearization types, operations + +

+ +Morpho and translation quiz + +

+ +Predefined types and operations + +

+ +Lexers and unlexers + +

+ +Grammars of formal languages + +

+ +Resource grammars and their reuse + +

+ +Embedded grammars in Haskell and Java + +

+ +Dependent types, variable bindings, semantic definitions + +

+ +Transfer rules + + + \ No newline at end of file -- cgit v1.2.3