changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00
parent c0e0f5247e
commit 8474fd5d34
826 changed files with 0 additions and 0 deletions
@@ -0,0 +1,5 @@
+--# -path=.:present:mathematical:prelude
+
+resource SymbolicFin = Symbolic with 
+  (Symbol = SymbolFin),
+  (Grammar = GrammarFin) ;