msyds/gf-rgl
1
0
Fork 0
forked from GitHub/gf-rgl
Code Pull Requests Activity

thread EEnv into ShellState

Browse Source
This commit is contained in:
aarne
2006-11-12 13:24:13 +00:00
parent c3e5526cb6
commit 65a0009c83
2 changed files with 8 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
resource-1.0/mathematical/Symbol.gf
View File

@@ -19,6 +19,11 @@ fun
SymbS : Symb -> S ; -- A SymbS : Symb -> S ; -- A
--2 Symbols as numerals
SymbNum : Symb -> Num ; -- n
SymbOrd : Symb -> Num ; -- n'th
--2 Symbol lists --2 Symbol lists
-- A symbol list has at least two elements. The last two are separated -- A symbol list has at least two elements. The last two are separated

3
resource-1.0/mathematical/SymbolEng.gf
View File

@@ -15,6 +15,9 @@ lin
SymbS sy = sy ; SymbS sy = sy ;
SymbNum sy = sy ;
SymbOrd sy = {s = sy.s ++ "th"} ;
lincat lincat
Symb, [Symb] = SS ; Symb, [Symb] = SS ;