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