1
0
forked from GitHub/gf-rgl

sorting command list in Commands

This commit is contained in:
aarne
2008-06-08 19:27:20 +00:00
parent f1b939f7d1
commit 220e7eed63
3 changed files with 12 additions and 8 deletions

View File

@@ -41,7 +41,7 @@ incomplete concrete ExtraScand of ExtraScandAbs = CatScand **
MkVPI vp = {
s = \\v,a => infVP vp a ---- no sup
} ;
ConjVPI = conjunctTable2 VPIForm Agr ;
ConjVPI = conjunctDistrTable2 VPIForm Agr ;
ComplVPIVV vv vpi = insertObj (\\a => vv.c2 ++ vpi.s ! VPIInf ! a) (predV vv) ;
}