Wednesday, April 9, 2014

Lots of stuff happening

Updates

We have new members on Peirce Logic!
Steven Cropp, and David Kim are now ( again! ) part of our team.

Lots of issues have been addressed since the GREAT REFACTOR OF 2013.
  • Saving and loading proofs now works
  • You can quickly view the goal from any state now
  • UI selection difficulties with tablets and small variables have been addressed
  • Lookahead for similar states prevents you from creating equivalent branches on the timeline
  • Timeline navigation buttons work properly again
  • Goal state checking has been fixed
  • Cut and variable overlays do not happen anymore
We plan on finishing up the remainder of the git issues and then going on to tablet features.

No comments:

Post a Comment