author wenzelm
Sun, 01 Jul 2018 19:51:04 +0200
changeset 68560 ad079be4f21c
parent 68545 7922992c99ea
child 68567 b408728a002a
permissions -rw-r--r--

Subject: Announcing Isabelle2018

Isabelle2018 is now available.

This version introduces many changes over Isabelle2017: see the NEWS
file for further details. Here are the main 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.

* 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)