diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-07-08 16:36:56 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-07-08 16:36:56 +0000 |
| commit | 23d8ebeb26892c8d831a8b5324fece62f6c6687c (patch) | |
| tree | 7900e1081ffc85cbc4f71e43a5a4a5f2368ca053 /examples/model/MathEng.gf | |
| parent | 3627875fa8ec277fad0bdabb1e7d74bd66ba2c42 (diff) | |
tutorial in final form
Diffstat (limited to 'examples/model/MathEng.gf')
| -rw-r--r-- | examples/model/MathEng.gf | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/examples/model/MathEng.gf b/examples/model/MathEng.gf index fcba8851b..681ef5b31 100644 --- a/examples/model/MathEng.gf +++ b/examples/model/MathEng.gf @@ -1,7 +1,5 @@ ---# -path=.:api:present:prelude:mathematical +--# -path=.:present:prelude concrete MathEng of Math = MathI with - (Grammar = GrammarEng), - (Combinators = CombinatorsEng), - (Predication = PredicationEng), + (Syntax = SyntaxEng), (Lex = LexEng) ; |