diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-11-10 15:57:29 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-11-10 15:57:29 +0000 |
| commit | 821fbe7ddbf8038178200dd998582bdf66c05881 (patch) | |
| tree | 898bc9908c85e34a763b8f5bf30a3fccc0020053 /doc/gf-tutorial.txt | |
| parent | d9ff5aa48cbbc7bc4388cd743aa354f60ab125a5 (diff) | |
updated tutorial html
Diffstat (limited to 'doc/gf-tutorial.txt')
| -rw-r--r-- | doc/gf-tutorial.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/gf-tutorial.txt b/doc/gf-tutorial.txt index 79d924a16..7003dee1a 100644 --- a/doc/gf-tutorial.txt +++ b/doc/gf-tutorial.txt @@ -1,11 +1,11 @@ Grammatical Framework Tutorial Aarne Ranta -Version 3.1, October 2008 +Version 3.1.2, November 2008 % NOTE: this is a txt2tags file. % Create a tex file from this file using: -% txt2tags --toc -ttex gf-tutorial2.txt +% txt2tags --toc -ttex gf-tutorial.txt %!target:html %!encoding: iso-8859-1 |