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. + + + +
+
+
+
+ +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 + + +