initial commit from us2.metamath.org:88/ocat/mmj2/mmj2.zip 15-Oct-2011
initialize eclipse project
apply eclipse code formatter
added proof compression support
Updated code base for java 1.5 (added generics and enhanced for loops)
added github readme
cleanup javadoc and create output to doc/javadoc/
bugfixes, also make compressed proof errors non-fatal
code cleanup + build
added Mel O'Cat's search modifications for v20121225, reverse engineered from jar file
Added O'Cat's original specs for search feature
some search cleanup, error formatting, and who says steps must be ints?
derive steps now get a prefix
update CHGLOG
multiline lists, and bye bye request messages
adjust header text
refactoring and cleanup
add look & feel and maximize RunParms
use instanceof instead of isVar() and friends; also better undo
fixed localref cursor positioning bug