We are working on Peirce Logic again and it will (hopefully) be our last semester working on it.
By this point we have fixed several issues and added some features including:
- Redundant timeline branch checking
- Saving and Loading of proofs
- UI improvements
- Timeline improvements
- General Tablet / Mobile tweaks
For Fall 2014, we hope to finally finish up touch support for the app and add a few more quality of life features, such as shortcuts for common Logic Structures (and, or, conditionals), easier goal viewing, and so on.