Subject: Announcing Isabelle2018To: isabelle-users@cl.cam.ac.ukIsabelle2018 is now available.This version introduces many changes over Isabelle2017: see the NEWSfile 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) https://www.cl.cam.ac.uk/research/hvg/Isabelle Munich (Germany) https://isabelle.in.tum.de Sydney (Australia) http://mirror.cse.unsw.edu.au/pub/isabelle Potsdam, NY (USA) https://mirror.clarkson.edu/isabelle