German Attempto - lots of words to check

This commit is contained in:
aarne
2008-10-28 16:15:13 +00:00
parent 03d86ba05c
commit de9ed61a27
8 changed files with 123 additions and 9 deletions

View File

@@ -0,0 +1,7 @@
--# -path=.:/Users/aarne/GF/next-lib/present
concrete AttemptoGer of Attempto = AttemptoI with
(Syntax = SyntaxGer),
(Symbolic = SymbolicGer),
(LexAttempto = LexAttemptoGer) ;