simplified 1.5 by removing mathematical/

2008-10-06 12:49:13 +00:00
parent 394050d9f7
commit e765b97fc4
29 changed files with 308 additions and 51 deletions
--- a/next-lib/src/api/SymbolicEng.gf
+++ b/next-lib/src/api/SymbolicEng.gf
@@ -1,5 +1,5 @@
--# -path=.:present:prelude
+--# -path=.:present:mathematical:prelude

 resource SymbolicEng = Symbolic with 
  (Symbol = SymbolEng),
-  (Syntax = SyntaxEng) ;
+  (Grammar = GrammarEng) ;