This version of the release adds three main things: (i) more sophisticated search strategies involving simple heuristics, (ii) a SQLite database tracking lots of proof data, like tracking proven and unproven theorems, and (iii) a basic website frontend.
This version is lacking: (i) a good scheduling system which ensures user-submitted tasks are completed on time (at the moment the scheduler just selects things to do arbitrarily), (ii) neither has sophisticated heuristics, nor a sophisticated automatic conjecturer - the existing one seems to have trouble, (iii) any further types of logic.