Systematize format of descriptions and hints for inference rules.
Adjust menu entries and descriptions for a couple of rules, and
HTML discussion of them to match.
Link in step renderings early so the step is in the DOM from the getgo.
Display subproofs inline at the spot where they executed.
Fix one broken test; rename a local variable.
Fully-working nested inline subproof displays.
Synchronize container removal properly with hiding.
Prevent unwanted text selection using CSS.
Move subproofs to the same level in DOM as proof steps.
Clear subproofs when clearing out a proof to set steps.
Add jQuery 1.10.2.
Use jQuery 1.10.2.
Fix step rendering and styling to reflect the removal of "stepParent".
Only show hover highlights in top-level editable proofs.
Add an indicator to hovered steps when there is no delete button.
Clean up UI and implementation of hover handling.
Now exprs do not have hover highlights unless in an editable step.
Enclose proof and subproof displays in DIVs rather than tables.
Use inline-block elements rather than tables for page layout.
Tweak the indicator that details can be hidden in step displays.
Tweak stepInfo presentation.
In rule displays separate WFF from stepInfo with just a WBR tag.
Remove jQuery 1.9 source.