Paperproof v1.6.4

Overview

Changes that make working on real formalization projects with Paperproof easier.

Added

• Handle #exit gracefully
  If your cursor is placed after the #exit command, Paperproof will tell you about it.

  

Changed

• Removed floating hypotheses
  They were not working very well for large proofs.

• Made Paperproof NOT affect performance of the default InfoView
  Made it so that when the Paperproof panel is closed, rpc requests don't get sent (see #51).

• Easier text selection in goals and hypotheses
  Previously, when you tried selecting some text from the goal or a hypothesis node, Paperproof would zoom in on the box you clicked on. Now this zoom won't happen during the "select" motion.