Change "subst" to "$" in "where" clauses of fact lists.
Interim edit to show the result of applying facts rather than the fact itself in the actions menu.
Added Toy.trimParens.
Fancier display of facts in rule menus.
Tune up handling of "swapped" facts.
Improve menu items for moving terms.
Tweak wording.
Styling.
Support explicit control over announcement of solutions to equations.
Add new negation fact.
Avoid negative numerals more in simplification.
Make solution reporting more flexible.
Remove unwanted console logging.
Rename a method.
Comments.
Separate the concept of disallowing selections from editability of a proof.
Clean up a bit of code.
Fix issues with recent changes to selection management.
Turn selections off and on as forms are shown and hidden.
Be more selective about displaying popups.