Got inference rule-style addCurve working. It is full of kludges and unnecessary object creation/copying etc, but takes the operation from 2^n to n^2 (after a cleanup).
First pass at adding shading info -- also kludgey and inefficient at the moment.
Switched to latest version of iCircles and stopped using makeForTesting. Much cleanup remains to be done.
Fixed bug in supersInfo map and +-signs added to end of names.
Fixed lots of little bugs\!
Removing and ignoring local eclipse project stuff
Got disjointness and subsumption working properly with inference rule approach. Still rather hacky, left some TODO comments in the addCurve method
Some documentation
version number
Some documentation
Some documentation
Some documentation
Added individuals/spiders and a way to turn them on or off from the GUI
Tweaked showing of GUI messages
Building the abstract diagrams in their own thread.
Making the call to iCircles in a separate thread.