Changes for build 623
- FIX: (development version only) OpenMath? prover window can be used again
Changes for build 619-622
- FIX: physics/inspector interaction fixed
- MISC: code cleanups
Changes for build 618
- FIX: Window will open correctly on OS X
Changes for build 617
- ENH: On recent Apple Notebooks, the sudden motion sensor can be used
Changes for build 616
- FIX: Java1-compatible cindyrun.jar ?
- FIX: Automatic Update contains correct check for zipconnection
- FIX: Magic Script Attribute option defaults to true
- FIX: Toolbar editors remembers screen position
Changes for build 614/615
- FIX: Verification errors due to proGuard removed (led to problems with loci)
Changes for build 613
- FIX: better handling of unset preferences
- FIX: magic angle attributes work on windows