README

vscode: further adjusted default settings and wordPattern for consistent completion popups;
for some reason wordPattern must be set to match (almost) everything, otherwise completions only pop up every other character, and then we must disable wordBasedSuggestions or it will suggest whole lines out of the document;

+
−The Isabelle System Distribution
+
−================================
+
−
+
−See the NEWS file in the distribution for details on user-relevant
+
−changes.  The ANNOUNCE file recounts notable changes for the latest
+
−official release.
+
−
+
−The core of Isabelle is subject to a 3-clause BSD license, but add-on
+
−components have their own license schemes (similar to a Linux
+
−distribution).
+
−
+
−
+
−Installation
+
−------------
+
−
+
−Isabelle works on the three main platform families: Linux, Windows,
+
−and macOS.  The application bundles from the Isabelle web page
+
−include sources, documentation, and add-on tools for all supported
+
−platforms.
+
−
+
−Some technical background information may be found in the Isabelle
+
−System Manual (directory doc).
+
−
+
−
+
−User interface
+
−--------------
+
−
+
−Isabelle/jEdit is an advanced Prover IDE based on jEdit and
+
−Isabelle/Scala.  It is the main example application of the
+
−Isabelle/PIDE framework, and the default user interface of
+
−Isabelle.  It provides a metaphor of continuous proof checking of a
+
−versioned collection of theory sources, with instantaneous feedback
+
−in real-time and rich semantic markup associated with the formal
+
−text.
+
−
+
−
+
−Other sources of information
+
−----------------------------
+
−
+
−  * The Isabelle Page
+
−
+
−    The Isabelle home page may be accessed from the following mirror
+
−    sites:
+
−
+
−     * https://www.cl.cam.ac.uk/research/hvg/Isabelle
+
−     * https://isabelle.in.tum.de
+
−     * https://mirror.cse.unsw.edu.au/pub/isabelle
+
−     * https://mirror.clarkson.edu/isabelle
+
−
+
−  * Mailing list
+
−
+
−    The electronic mailing list [e-mail] provides a
+
−    forum for Isabelle users to discuss problems and exchange
+
−    information.  To join, send a message to
+
−    [e-mail].
+
−
+
−  * Personal mail
+
−
+
−    Lawrence C Paulson
+
−    Computer Laboratory
+
−    University of Cambridge
+
−    JJ Thomson Avenue
+
−    Cambridge CB3 0FD
+
−    England
+
−    E-mail: [e-mail]
+
−    Phone: [phone]
+
−    Fax: [phone]
+
−
+
−    or
+
−
+
−    Tobias Nipkow
+
−    Institut für Informatik
+
−    Technische Universität München
+
−    Boltzmannstr. 3
+
−    D-85748 Garching
+
−    Germany
+
−    E-mail: [e-mail]
+
−    Phone: [phone]
+
−    Fax: [phone]
+
−
+
−NOTE:
+
−    Please report any problems you encounter. While we shall try to be
+
−    helpful, we can accept no responsibility for the deficiencies of
+
−    Isabelle and their consequences.