Rename rules.simplifyNumericConditions to rules.simplifyAssumptions so all code uses it.
Delete obsolete simplification code.
Fix typo bug.
Add Expr.getMain.
Render literal constants as fully selectable expressions (but not named constants yet).
In step descriptions, termify terms in the {term*} and {shortFact} formats.
Prevent form autocompletion offering irrelevant values to fill in step editor form fields.
Demote error alerts to a fallback in case there is no #proofError node on the page.
Clean up rules.fact, rules.rewriteWithFact, and getResult.
Make fact, rewriteWithFact, and isolateHyp available in the UI.
Record facts in the database strictly by their conclusions.
Rename extractHypothesis in preparation for removal.
Remove replaceWithT, unused.
Cease memoizing factString information.
Add or modify a couple of facts, add rules.useAsHyp and rules.simplifySiteOnce.
Split out colored math text from general math text and
use coloring only in documentation.
Add function Toy.soonDo; Refreshers now have .active property.
Improve display of facts, and of arguments to rules generally.
Simplify and fix loading of remembered proof state in the page.
Fix bug in deselecting steps by clicking elsewhere in the document.
Make Toy.mathParse accept an indication to suppress adding hypotheses.
Improve availability and presentation of some rules,
fix a bug, add a couple of facts related to reciprocals.
Simplify assumptions about nonzero reciprocals.
Updates related to the "Reclaim Learning" effort.
Styling of algebra problem.
More styling.
Publish video on screencast.com.