making TryPol compile

2009-10-23 16:11:54 +00:00
parent 266b412a4b
commit ed25ef3b6f
5 changed files with 11 additions and 15 deletions
@@ -0,0 +1,5 @@
+--# -path=.:present
+
+resource SymbolicPol = Symbolic with 
+  (Symbol = SymbolPol),
+  (Grammar = GrammarPol) ;