overloaded api for all languages

2006-12-22 10:42:06 +00:00
parent da339b2686
commit 4d6a1d7bad
32 changed files with 148 additions and 5 deletions
--- a/lib/resource-1.0/api/SymbolicEng.gf
+++ b/lib/resource-1.0/api/SymbolicEng.gf
@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common:../english:../mathematical:prelude
+--# -path=.:present:mathematical:prelude

 resource SymbolicEng = Symbolic with 
  (Symbol = SymbolEng),