Add a function to escape HTML.
Convert proof.js to jQuery.
Convert sample-proofs.js to jQuery.
Convert body of real-numbers.html to jQuery.
Remove all use of YUI except in tests.html.
Remaining tasks to remove comments and other related cleanup.
In real-numbers.html initialize on DOM ready rather than page loaded.
Tidy up code there also.