1
0
forked from GitHub/gf-rgl

overloaded API to symbol

This commit is contained in:
aarne
2006-11-23 13:13:15 +00:00
parent e65450d91b
commit 0f2ed32c52
2 changed files with 42 additions and 0 deletions

View File

@@ -0,0 +1,5 @@
--# -path=.:../abstract:../common:../english:../mathematical:prelude
resource SymbolicEng = Symbolic with
(Symbol = SymbolEng),
(Grammar = GrammarEng) ;