author wenzelm
Fri, 23 Nov 2018 16:43:11 +0100
changeset 69334 6b49700da068
parent 68648 371e814af6f0
child 70032 0674c24afc5e
permissions -rw-r--r--
clarified font_domain: strict excludes e.g. space character;

Subject: Announcing Isabelle2018

Isabelle2018 is now available.

This version introduces many changes over Isabelle2017: see the NEWS
file for further details. Here are some notable points:

* Improved infix notation within terms.

* Improved syntax for formal comments, within terms and other languages.

* Improved management of ROOT files and session-qualified theories.

* Various improvements of document preparation.

* Many Isabelle/jEdit improvements, including semantic IDE for BibTeX.

* Numerous HOL library improvements, including HOL-Algebra.

* Substantial additions to HOL-Analysis.

* HOL-Library.Code_Lazy: code generation for lazy evaluation.

* HOL-Real_Asymp: tools for semi-automatic real asymptotics.

* Isabelle server for reactive communication with other programs.

* More uniform 64-bit platform support: smaller Isabelle application.

You may get Isabelle2018 from the following mirror sites:

  Cambridge (UK)
  Munich (Germany)
  Sydney (Australia)
  Potsdam, NY (USA)