Fixed put_problem bug.  If given wff conclusion and some wff premises followed by a malformed premise, it was displaying the wff premises in the drvt.
Merge branch 'master' into gh-pages
Update ug.js
Merge branch 'master' into gh-pages
Fix parsing bug; can't let v be a variable and disjunction.
Merge branch 'master' into gh-pages