1
0
forked from GitHub/gf-rgl

brought derived resources up to date wrt Quant

This commit is contained in:
aarne
2007-12-18 10:46:41 +00:00
parent 1261288417
commit 1a3383995a
14 changed files with 78 additions and 68 deletions

View File

@@ -24,7 +24,7 @@ lin
SymbS sy = sy ;
SymbNum n = {s = \\_,_ => n.s ; isNum = True} ;
SymbNum n = {s = \\_,_ => n.s ; isNum = True ; n = Pl} ;
SymbOrd n = {s = \\_,_ => n.s ++ "."} ;
lincat