diff options
| author | aarne <aarne@chalmers.se> | 2010-09-29 07:16:33 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-09-29 07:16:33 +0000 |
| commit | fe15579b31ae531437dfcb9f692ae8c8dbb7dcb6 (patch) | |
| tree | f2fe1f4131242f0e8e87a079269933c33c9231af /examples/attempto/AttemptoGer.gf | |
| parent | 8fa5a507283c6d4bb12911202f551faa506c68aa (diff) | |
extended Attempto with some constructs
Diffstat (limited to 'examples/attempto/AttemptoGer.gf')
| -rw-r--r-- | examples/attempto/AttemptoGer.gf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/attempto/AttemptoGer.gf b/examples/attempto/AttemptoGer.gf index 5d5d28430..a5db09cb3 100644 --- a/examples/attempto/AttemptoGer.gf +++ b/examples/attempto/AttemptoGer.gf @@ -1,6 +1,6 @@ --# -path=.:/Users/aarne/GF/next-lib/present -concrete AttemptoGer of Attempto = SymbolsC ** AttemptoI with +concrete AttemptoGer of Attempto = SymbolsC, NumeralGer ** AttemptoI with (Syntax = SyntaxGer), (Symbolic = SymbolicGer), (LexAttempto = LexAttemptoGer) ; |