derekrazo/ProofProject — pull request #41 by irongavel (2013-07-28 20:27:23+00:00)
Title: REPEAT WORKS

deleted unneeded version of storeprint
new logic for repeat in reasonDelegation
New checks for repeat command in LineChecker