
v7_d5: new treatment of applyconjectures (possible values are now none,
all, rules,  theorems). First version with OS X universal binary.
Improved description of how to build Windows binaries.

v7_d5_1: bugfix. Now will apply derived rules.

v7_d5_1a: bugfix. Now will really apply derived rules.

v7_d6: bugfixes (Hoare logic now improved to deal with a[E] computes properly; multihypsel variable stops multiple selections except in theories than can understand them). New build system for OSX, Windows. Java brought up to 1.5 standard. Runs a bit better on Leopard.