Email Gateway (Aug 19 2022 at 12:53): Email Gateway (Aug 19 2022 at 12:53):From: Makarius <makarius@sketis.net>
Isabelle2013-1 is now available.
This version consolidates Isabelle2013 and introduces numerous
improvements, see the NEWS file in the distribution for more details.
Some highlights are:
Significantly improved Isabelle/jEdit Prover IDE.
Consolidated multi-platform support: Linux, Windows, Mac OS X.
Added and updated manuals: datatypes, implementation, isar-ref, jedit.
New Spec_Check tool: Quickcheck for Isabelle/ML.
HOL library enhancements: Complex_Main, HOL-Library,
HOL-Multivariate_Analysis.
HOL tool enhancements: Codegenerator, Function, Lifting, Transfer,
Nitpick, Sledgehammer.
HOL-BNF: significantly improved BNF-based (co)datatype package.
You may get Isabelle2013-1 from the following mirror sites:
Cambridge (UK) http://www.cl.cam.ac.uk/research/hvg/Isabelle/
Munich (Germany) http://isabelle.in.tum.de/
Sydney (Australia) http://mirror.cse.unsw.edu.au/pub/isabelle/
Email Gateway (Aug 19 2022 at 12:53):From: Makarius <makarius@sketis.net>
Special thanks to anybody who participated in the final testing of release
candidates.
Seasoned users are especially encouraged to try out the new toplevel
application wrapper that is available on all platforms, without requiring
a command line.
Makarius
Last updated: Nov 21 2024 at 12:39 UTC