openwebwork/webwork2 — pull request #236 by pstaabp (2013-11-14 18:11:39+00:00)
Title: More refined new UI-tools

Instead of pulling from my new-ui-tools branch, I merged that into my develop branch which I won't work on until this pull request goes through.