TODO

GNU Aris -- TODO List

* Interoperability with Isabelle - in progress.
* Documentation
  - Sequence Logic
* Bug Testing
* Printing - Hold off on this

*FOR Bram's Logic class project: -the bugs encountered in windows, need to test if same on linux
  - make it so that pasting single lines from one subproof to another maintain the depth
    ~whole subproof pasting is fine
    ~inconsistent
  - rearrange the menu bars
  - add some better tooltips to the rules
  - make the contents button actually display the help menu
  - make it so that when you select specific letters in a line those letters are highlighted 
    ~make them highlighted blue over the grey highlight
  - make the homepage button on the about page work
    ~my error: No application is registered as handling this file
  - Cancel button when asking if you want to exit before saving crashes program
  
*DONE
  - changed shortcuts to be more user friendly
  - renamed kill and insert/yank to cut and paste
  - fix the issue in which the first letter typed in a proof does not show up until a second letter is typed.
  - create a way to delete lines by means other than cut
    ~and give it a default custom shortcut of ctrl+d
    ~also make ctrl+delete key map to this action as an unchangeable shortcut
  - found the dependencies that fix the issue where the file system and color picker were broken