Finnish attempto started

This commit is contained in:
aarne
2009-03-11 16:08:55 +00:00
parent 0ac664d147
commit 22b7e133fe
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) ;