From bec718d49deb4000bbf99adbef66b27e93d08f1b Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Mon, 29 Mar 2010 13:59:46 +0000
Subject: AttemptoUrd added

---
 examples/attempto/AttemptoUrd.gf | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 examples/attempto/AttemptoUrd.gf

(limited to 'examples/attempto/AttemptoUrd.gf')

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) ;
+
-- 
cgit v1.2.3