README
author wenzelm
Mon Jul 29 15:09:20 2013 +0200 (2013-07-29 ago)
changeset 52770 8c7cf864e270
parent 50572 b33912e68b84
child 53525 3a58f2e249c7
permissions -rw-r--r--
pro-forma Goal.reset_futures, despite lack of final join/commit;
     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.
    14 
    15    Completely integrated bundles including the full Isabelle sources,
    16    documentation, add-on tools and precompiled logic images for
    17    several platforms are available from the Isabelle web page.
    18 
    19    Some background information may be found in the Isabelle System
    20    Manual, distributed with the sources (directory doc).
    21 
    22 User interfaces
    23 
    24    Isabelle/jEdit is an advanced Prover IDE based on jEdit and
    25    Isabelle/Scala.  It provides a metaphor of continuous proof
    26    checking of a versioned collection of theory sources, with
    27    instantaneous feedback in real-time and rich semantic markup
    28    associated with the formal text.
    29 
    30    The classic Isabelle user interface is Proof General by David
    31    Aspinall and others.  It is a generic Emacs interface for proof
    32    assistants, including Isabelle.  Its main feature is script
    33    management, with stepwise proof scripting and partial locking of
    34    the editor buffer.
    35 
    36 Other sources of information
    37 
    38   The Isabelle Page
    39 
    40    The Isabelle home page may be accessed from Cambridge, Munich, and
    41    Sydney:
    42 
    43      * http://www.cl.cam.ac.uk/research/hvg/Isabelle/
    44      * http://isabelle.in.tum.de
    45      * http://mirror.cse.unsw.edu.au/pub/isabelle/index.html
    46 
    47   Mailing list
    48 
    49    The electronic mailing list isabelle-users@cl.cam.ac.uk provides a
    50    forum for Isabelle users to discuss problems and exchange
    51    information.  To join, send a message to
    52    isabelle-users-request@cl.cam.ac.uk.
    53 
    54   Personal mail
    55 
    56    Lawrence C Paulson
    57    Computer Laboratory
    58    University of Cambridge
    59    JJ Thomson Avenue
    60    Cambridge CB3 0FD
    61    England
    62    E-mail: lcp@cl.cam.ac.uk
    63    Phone: +44-223-763500
    64    Fax: +44-223-334748
    65 
    66    or
    67 
    68    Tobias Nipkow
    69    Institut fuer Informatik
    70    Technische Universitaet Muenchen
    71    Boltzmannstr. 3
    72    D-85748 Garching
    73    Germany
    74    E-mail: nipkow@in.tum.de
    75    Phone: +49-89-289-17302
    76    Fax: +49-89-289-17307
    77      _________________________________________________________________
    78 
    79    Please report any problems you encounter. While we shall try to be
    80    helpful, we can accept no responsibility for the deficiencies of
    81    Isabelle and their consequences.
    82      _________________________________________________________________