Commit [r2464] Maximize Restore History

All variables from the outermost block appear in the answer computed by rlqea.

An "arbitrary" tag here means that any real number can be substituted for a
variable. This fixes a bug in ofsf_qemkstdans.

mkosta 2014-03-27

changed /trunk/packages/redlog/cl/clqe.red
changed /trunk/packages/redlog/ofsf/ofsfqe.red
changed /trunk/packages/redlog/rltools/sfto.red
/trunk/packages/redlog/cl/clqe.red Diff Switch to side-by-side view
Loading...
/trunk/packages/redlog/ofsf/ofsfqe.red Diff Switch to side-by-side view
Loading...
/trunk/packages/redlog/rltools/sfto.red Diff Switch to side-by-side view
Loading...