diff options
| author | aarne <aarne@chalmers.se> | 2010-03-29 13:59:46 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-03-29 13:59:46 +0000 |
| commit | bec718d49deb4000bbf99adbef66b27e93d08f1b (patch) | |
| tree | d30747e52b053b58434cff8d4175502223267d1d /examples/attempto/AttemptoUrd.gf | |
| parent | 04784b7c31bec63c1fa9c17884347c61491f9874 (diff) | |
AttemptoUrd added
Diffstat (limited to 'examples/attempto/AttemptoUrd.gf')
| -rw-r--r-- | examples/attempto/AttemptoUrd.gf | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/examples/attempto/AttemptoUrd.gf b/examples/attempto/AttemptoUrd.gf new file mode 100644 index 000000000..10ec91af3 --- /dev/null +++ b/examples/attempto/AttemptoUrd.gf @@ -0,0 +1,6 @@ +--# -path=.:./present
+concrete AttemptoUrd of Attempto = SymbolsC ** AttemptoI - [mustVP] with
+ (Syntax = SyntaxUrd),
+ (Symbolic = SymbolicUrd),
+ (LexAttempto = LexAttemptoUrd) ;
+
|