release-0.99

sternk released this 10 Jun 21:47

· 2843 commits to master since this release

13cf532

web interface improvements
extended modal logic and comorphisms to THF
THF enhancements and prover integration
!HolLight integration
support for DOL, Common Logic, and IRIs.
logic serialization (aka different syntaxes for one logic)
support for Isabelle2012/2013 (HOL only, not HOLCF)
refinement extensions
speeded up counting counter examples of SparQ models
better CASL error messages
conservativity checker overhaul

Assets 2