Refine labels and displays of some theorems.
Enable step editor to show all rules or just subsets.  Add this to UI.
Add labels to rules, improve presentation of rules in menus.
Improve presentations done by the BasicRuleSelector.
Rearrange truth tables to put "true" first.
UI changes.
Comment changes.
Only italicize "variables", not constants.
Home page text.
Initial version OLI demo.
Add capability to show or hide some of the parts of the proof control/step editor.
More work on the simple algebra demo.
Tune up the caption on the dropdown list for the algebra demo.
Work on the algebra demo.
Algebra demo, use larger styles.
Indentation.
Use simplified selections in the algebra demo.
Change strategy for "simplified selections" to mark nodes selectable
in the simplified mode when they are created.  Hovers and selections
both use these markers now.
Fix bug in the xxxToBoth family of rules.
Extend the YUI Node prototype with an aid to jQuery conversion.