1Subject: Announcing Isabelle2018 2To: isabelle-users@cl.cam.ac.uk 3 4Isabelle2018 is now available. 5 6This version introduces many changes over Isabelle2017: see the NEWS 7file for further details. Here are some notable points: 8 9* Improved infix notation within terms. 10 11* Improved syntax for formal comments, within terms and other languages. 12 13* Improved management of ROOT files and session-qualified theories. 14 15* Various improvements of document preparation. 16 17* Many Isabelle/jEdit improvements, including semantic IDE for BibTeX. 18 19* Numerous HOL library improvements, including HOL-Algebra. 20 21* Substantial additions to HOL-Analysis. 22 23* HOL-Library.Code_Lazy: code generation for lazy evaluation. 24 25* HOL-Real_Asymp: tools for semi-automatic real asymptotics. 26 27* Isabelle server for reactive communication with other programs. 28 29* More uniform 64-bit platform support: smaller Isabelle application. 30 31 32You may get Isabelle2018 from the following mirror sites: 33 34 Cambridge (UK) https://www.cl.cam.ac.uk/research/hvg/Isabelle 35 Munich (Germany) https://isabelle.in.tum.de 36 Sydney (Australia) http://mirror.cse.unsw.edu.au/pub/isabelle 37 Potsdam, NY (USA) https://mirror.clarkson.edu/isabelle 38