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 isabelle-users@cl.cam.ac.uk provides a
forum for Isabelle users to discuss problems and exchange
information. To join, send a message to
isabelle-users-request@cl.cam.ac.uk.
* Personal mail
Lawrence C Paulson
Computer Laboratory
University of Cambridge
JJ Thomson Avenue
Cambridge CB3 0FD
England
E-mail: lcp@cl.cam.ac.uk
Phone: +44-223-763500
Fax: +44-223-334748
or
Tobias Nipkow
Institut für Informatik
Technische Universität München
Boltzmannstr. 3
D-85748 Garching
Germany
E-mail: nipkow@in.tum.de
Phone: +49-89-289-17302
Fax: +49-89-289-17307
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.