Add ambidextrous replace, and flag the others as "uncommon" in the UI.
Do proper check for relevance before offering rules.arithmetic.
Correct a couple of issues with checks for type Real.
Tweak bits of UI.
Add support of description markup for two equations in a rule.
Add rules to add or subtract an equation from an equational step.
Improve Toy.ruleMenuText.
Add reporting of problem solutions.
Select steps and expressions using the mousedown event.
Improve message to user.
Prevent the step checkboxes from selecting or deselecting themselves.
Add "Go" button to data entry forms of rules.
More bulletproof code for checkbox selection.
Clean up the specification of findMatchingFact.
Comments.
Some code cleanups; spec for findMatchingFacts changed a bit.
Comments.
Tidy a bit of code.
Handle thrown values in findMatchingFact ("apply").
Comments.