Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

Commit [r411] Maximize Restore History

Added query*-values and query*-values* as query* versions of query-values and query-values* - i.e., the queries extend down into subclasses. Also made assertion printing use the error print limits.

drschemer 2011-10-03

changed /inference/trunk/info.ss
changed /inference/trunk/planet-docs/inference/using.html
changed /inference/trunk/planet-docs/inference/rulesets.html
changed /inference/trunk/planet-docs/inference/env-basic.html
changed /inference/trunk/planet-docs/inference/index.html
changed /inference/trunk/planet-docs/inference/scribble.css
changed /inference/trunk/planet-docs/inference/assertions.html
changed /inference/trunk/planet-docs/inference/doc-index.html
changed /inference/trunk/planet-docs/inference/doc-bibliography.html
changed /inference/inference.plt
changed /inference/trunk/planet-docs/inference/control-basic.html
changed /inference/trunk/private/utilities.ss
changed /inference/trunk/planet-docs/inference/introduction.html
/inference/trunk/info.ss Diff Switch to side-by-side view
Loading...
/inference/trunk/planet-docs/inference/using.html Diff Switch to side-by-side view
Loading...
/inference/trunk/planet-docs/inference/rulesets.html Diff Switch to side-by-side view
Loading...
/inference/trunk/planet-docs/inference/env-basic.html Diff Switch to side-by-side view
Loading...
/inference/trunk/planet-docs/inference/index.html Diff Switch to side-by-side view
Loading...
/inference/trunk/planet-docs/inference/scribble.css Diff Switch to side-by-side view
Loading...
/inference/trunk/planet-docs/inference/assertions.html Diff Switch to side-by-side view
Loading...
/inference/trunk/planet-docs/inference/doc-index.html Diff Switch to side-by-side view
Loading...
/inference/trunk/planet-docs/inference/doc-bibliography.html Diff Switch to side-by-side view
Loading...
/inference/inference.plt Diff Switch to side-by-side view
Loading...
/inference/trunk/planet-docs/inference/control-basic.html Diff Switch to side-by-side view
Loading...
/inference/trunk/private/utilities.ss Diff Switch to side-by-side view
Loading...
/inference/trunk/planet-docs/inference/introduction.html Diff Switch to side-by-side view
Loading...