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