ClemsonRSRG/RESOLVE — pull request #21 by hamptonsmith (2013-01-16 20:16:01+00:00)
Title: Some progress toward compiling Array_Realiz.  Also, fixed an incompata...

...bility where I had inadvertently introduced a Java 7 feature into JProofDisplay.