diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-01-25 15:03:11 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-01-25 15:03:11 +0000 |
| commit | b830e476088712f79dcd9c463b058aafc1396af5 (patch) | |
| tree | b9abecdf3a53272c8f886160320d449ea495eb73 | |
| parent | 7c11be56839de0186b5deab2305b6f1865c44855 (diff) | |
cheese.s in tutorial
| -rw-r--r-- | doc/tutorial/gf-tutorial2.html | 6 | ||||
| -rw-r--r-- | doc/tutorial/gf-tutorial2.txt | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/doc/tutorial/gf-tutorial2.html b/doc/tutorial/gf-tutorial2.html index 223d6db50..00caa1d58 100644 --- a/doc/tutorial/gf-tutorial2.html +++ b/doc/tutorial/gf-tutorial2.html @@ -7,7 +7,7 @@ <P ALIGN="center"><CENTER><H1>Grammatical Framework Tutorial</H1> <FONT SIZE="4"> <I>Author: Aarne Ranta <aarne (at) cs.chalmers.se></I><BR> -Last update: Sat Jan 7 21:51:56 2006 +Last update: Wed Jan 25 16:03:03 2006 </FONT></CENTER> <P></P> @@ -1417,7 +1417,7 @@ The application of a table to a parameter is done by the <B>selection</B> operator <CODE>!</CODE>. For instance, </P> <PRE> - Cheese.s ! Pl + table {Sg => "cheese" ; Pl => "cheeses"} ! Pl </PRE> <P> is a selection, whose value is <CODE>"cheeses"</CODE>. @@ -2392,6 +2392,6 @@ English and German. A simpler example will be explained here. </P> -<!-- html code generated by txt2tags 2.3 (http://txt2tags.sf.net) --> +<!-- html code generated by txt2tags 2.0 (http://txt2tags.sf.net) --> <!-- cmdline: txt2tags -\-toc gf-tutorial2.txt --> </BODY></HTML> diff --git a/doc/tutorial/gf-tutorial2.txt b/doc/tutorial/gf-tutorial2.txt index a5b262053..be88d83f6 100644 --- a/doc/tutorial/gf-tutorial2.txt +++ b/doc/tutorial/gf-tutorial2.txt @@ -1166,7 +1166,7 @@ example shows such a table: The application of a table to a parameter is done by the **selection** operator ``!``. For instance, ``` - Cheese.s ! Pl + table {Sg => "cheese" ; Pl => "cheeses"} ! Pl ``` is a selection, whose value is ``"cheeses"``. |