From fe15579b31ae531437dfcb9f692ae8c8dbb7dcb6 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 29 Sep 2010 07:16:33 +0000 Subject: extended Attempto with some constructs --- examples/attempto/AttemptoGer.gf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'examples/attempto/AttemptoGer.gf') 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) ; -- cgit v1.2.3