Added Continue Black and White for multiple spaces, have a bug for
continue black
Added check for external black square in contradiction
Also, added proof that shows serious slowdown in nurikabe
Merge branch 'master' of https://github.com/Bram28/LEGUP
Linked to the new Corner Black icon

Deleted some old proofs that couldn't load anymore

Added some new proofs to show which icons still show up and which do
not.

Also added a complete proof of the one Nurikabe puzzle
Fixed justification icons not displaying after loading proof

Changed getImageName method in Justification to abstract
Implemented method in all subclasses of Justification
commit
Fixed the Fill In Black rule
Fixed the bug with continue black where it would not work for a single tile connecting two black regions. However, there are still some problems with adding multiple black tiles under the continue black rule at once, mostly where it allows a tile to be added where it should not be added.
trying to commit a proof ...
fixed bug with continue black when adding multiple black spaces
removed a debug statement i previously used
Instructions for using git for future people who have no experience using git
Merge branch 'master' of https://github.com/Bram28/LEGUP
Implemented the PuzzleModule methods {getAbsoluteNextCellValue, getNextCellValue, getStateName, getStateNumber, numAcceptableStates} in terms of two new methods intended to be made abstract {getCellNames, getUnselectableCells}.
Updated puzzles to use the new getCellNames and getUnselectableCells mechanism.
Added flags to the ant script to make line numbers actually appear in exception stacktraces.
Renamed "New" and "Open"

Now "Open Puzzle" and "Open Proof"
Changed "New Puzzle" to "Open Puzzle" in the menu (Aaron's change only affected the buttons).
Updated the Fill In Black Rule

Should work for regions that are partially filled with black cells
Removed duplicate rule for nurikabe