ppolinsky/cs61bl-proof-checker — pull request #6 by chashemi (2013-07-26 00:10:12+00:00)
Title: Update LineNumberTest.java

Added tests for IllegalLine (reference to a statement within a previous subproof).