Monday, October 20, 2014

A Touch and Go

The library that is going to be used for touch/gesture has been decided.

We have decided to use hammer.js to implement gestures and recognize inputs from touch devices.

As of right now, our top priority is to finalize complete touch compatibility with the webapp.
Later on we may add gestures to remove the dependence on the context menu on small screens.

Saturday, October 4, 2014

Today we had a Peirce meeting with all of our members
Viktor, David, and I.

Viktor started to tackle the collision issues.
David is working on automated proof checking correctness ( currently it does not work as expected )
I fixed some gui ambiguity for logging in, and added the ability to overwrite proofs