README
author wenzelm
Mon Dec 12 11:17:23 2016 +0100 (22 months ago)
changeset 64552 7aa3c52f27aa
parent 62190 ec5703538300
child 67866 11e4060bcdca
permissions -rw-r--r--
tuned;
     1                        The Isabelle System Distribution
     2 
     3 Version information
     4 
     5    This is some unidentified repository version of Isabelle.
     6 
     7    See the NEWS file in the distribution for details on user-relevant
     8    changes.
     9 
    10 Installation
    11 
    12    Isabelle works on the three main platform families: Linux, Windows,
    13    and Mac OS X.  The application bundles from the Isabelle web page
    14    include sources, documentation, and add-on tools for all supported
    15    platforms.
    16 
    17    Some technical background information may be found in the Isabelle
    18    System Manual (directory doc).
    19 
    20 User interface
    21 
    22    Isabelle/jEdit is an advanced Prover IDE based on jEdit and
    23    Isabelle/Scala.  It is the main example application of the
    24    Isabelle/PIDE framework, and the default user interface of
    25    Isabelle.  It provides a metaphor of continuous proof checking of a
    26    versioned collection of theory sources, with instantaneous feedback
    27    in real-time and rich semantic markup associated with the formal
    28    text.
    29 
    30 Other sources of information
    31 
    32   The Isabelle Page
    33 
    34    The Isabelle home page may be accessed from the following mirror
    35    sites:
    36 
    37      * http://www.cl.cam.ac.uk/research/hvg/Isabelle
    38      * http://isabelle.in.tum.de
    39      * http://mirror.cse.unsw.edu.au/pub/isabelle
    40      * http://mirror.clarkson.edu/isabelle
    41 
    42   Mailing list
    43 
    44    The electronic mailing list isabelle-users@cl.cam.ac.uk provides a
    45    forum for Isabelle users to discuss problems and exchange
    46    information.  To join, send a message to
    47    isabelle-users-request@cl.cam.ac.uk.
    48 
    49   Personal mail
    50 
    51    Lawrence C Paulson
    52    Computer Laboratory
    53    University of Cambridge
    54    JJ Thomson Avenue
    55    Cambridge CB3 0FD
    56    England
    57    E-mail: lcp@cl.cam.ac.uk
    58    Phone: +44-223-763500
    59    Fax: +44-223-334748
    60 
    61    or
    62 
    63    Tobias Nipkow
    64    Institut fuer Informatik
    65    Technische Universitaet Muenchen
    66    Boltzmannstr. 3
    67    D-85748 Garching
    68    Germany
    69    E-mail: nipkow@in.tum.de
    70    Phone: +49-89-289-17302
    71    Fax: +49-89-289-17307
    72      _________________________________________________________________
    73 
    74    Please report any problems you encounter. While we shall try to be
    75    helpful, we can accept no responsibility for the deficiencies of
    76    Isabelle and their consequences.
    77      _________________________________________________________________