Closed xpxaxsxi closed 2 years ago
old code could not handle aliases like swi(library/clp) only swi('library/clp'). Now the XpceManual/Tools work better, for example Visual Hierarchy's nodes all get opened
Thanks. Merge after edit (the predicate was designed to be nondet, so we must use the solutions(all) option.
solutions(all)
old code could not handle aliases like swi(library/clp) only swi('library/clp'). Now the XpceManual/Tools work better, for example Visual Hierarchy's nodes all get opened