README
author wenzelm
Thu Jul 16 16:30:43 2015 +0200 (2015-07-16)
changeset 60732 18299765542e
parent 57452 ecad2a53755a
child 62190 ec5703538300
permissions -rw-r--r--
clarified boundary cases of completion;
     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 Cambridge, Munich, and
    35    Sydney:
    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/index.html
    40 
    41   Mailing list
    42 
    43    The electronic mailing list isabelle-users@cl.cam.ac.uk provides a
    44    forum for Isabelle users to discuss problems and exchange
    45    information.  To join, send a message to
    46    isabelle-users-request@cl.cam.ac.uk.
    47 
    48   Personal mail
    49 
    50    Lawrence C Paulson
    51    Computer Laboratory
    52    University of Cambridge
    53    JJ Thomson Avenue
    54    Cambridge CB3 0FD
    55    England
    56    E-mail: lcp@cl.cam.ac.uk
    57    Phone: +44-223-763500
    58    Fax: +44-223-334748
    59 
    60    or
    61 
    62    Tobias Nipkow
    63    Institut fuer Informatik
    64    Technische Universitaet Muenchen
    65    Boltzmannstr. 3
    66    D-85748 Garching
    67    Germany
    68    E-mail: nipkow@in.tum.de
    69    Phone: +49-89-289-17302
    70    Fax: +49-89-289-17307
    71      _________________________________________________________________
    72 
    73    Please report any problems you encounter. While we shall try to be
    74    helpful, we can accept no responsibility for the deficiencies of
    75    Isabelle and their consequences.
    76      _________________________________________________________________