katosh/sym — pull request #9 by cryto (2014-01-14 15:24:12+00:00)
Title: verification, ui

ad-hoc pull request, to see all changes at once and keep track of the branch.

dont merge yet.