Finnish attempto started

This commit is contained in:
aarne
2009-03-11 16:08:55 +00:00
parent 84a1d54e82
commit 18c6ec5788
6 changed files with 159 additions and 1 deletions

View File

@@ -0,0 +1,7 @@
--# -path=.:present
concrete AttemptoFin of Attempto = SymbolsC ** AttemptoI with
(Syntax = SyntaxFin),
(Symbolic = SymbolicFin),
(LexAttempto = LexAttemptoFin) ;