Khan/khan-exercises — pull request #25699 by mwittels (2012-07-09 09:09:20+00:00)
Title: Fill-in-blanks and Find-wrong-statement proof exercises

Removed references to the proof framework in the highlighting exercise code (no more "cannot find property segs of undefined").

Also fixed a bunch of problems where proofs would duplicate a statement multiple times and hints were wrong or non-existent (with the fill-in-the-blanks exercise).