Support for OCaml 4.12.0

0.9.6.6+-beta-2

fix for OCaml 4.12

0.9.6.6+ Beta Release

Improved editor and optimized refiner. Moved decision procedures. Added readline completion.

CamlP5-8.00 prerelease

This release updates CamlP5 to 8.00, now users can use new OCaml grammars in theory files.

Last release for CamlP5 7.13

Fixed terminal rendering. Replaced spell checker. Fixed SIMPLE refiner. Removed old version ascii_io support. Various display forms fixed.

Revised theories listing

Cleaned up some of the code for old prla file compatibility, fixed some dforms.