README
author hoelzl
Mon, 08 Aug 2016 14:13:14 +0200
changeset 63627 6ddb43c6b711
parent 62197 f354900ac0ea
child 67866 11e4060bcdca
permissions -rw-r--r--
rename HOL-Multivariate_Analysis to HOL-Analysis.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
25214
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
     1
                       The Isabelle System Distribution
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
     2
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
     3
Version information
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
     4
32361
141e5151b918 clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository;
wenzelm
parents: 30898
diff changeset
     5
   This is some unidentified repository version of Isabelle.
27646
d010fc1d3c46 tuned line breaks (NB: generated text is inserted here);
wenzelm
parents: 27085
diff changeset
     6
d010fc1d3c46 tuned line breaks (NB: generated text is inserted here);
wenzelm
parents: 27085
diff changeset
     7
   See the NEWS file in the distribution for details on user-relevant
d010fc1d3c46 tuned line breaks (NB: generated text is inserted here);
wenzelm
parents: 27085
diff changeset
     8
   changes.
25214
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
     9
47795
ccb10fe4b955 some updates on classic README, reduce the impression that there is much to install manually;
wenzelm
parents: 47745
diff changeset
    10
Installation
33842
efa1b89c79e0 misc tuning and updates for official release;
wenzelm
parents: 32361
diff changeset
    11
50572
b33912e68b84 updated README;
wenzelm
parents: 47805
diff changeset
    12
   Isabelle works on the three main platform families: Linux, Windows,
53978
65c893e0849f updated for release;
wenzelm
parents: 53525
diff changeset
    13
   and Mac OS X.  The application bundles from the Isabelle web page
65c893e0849f updated for release;
wenzelm
parents: 53525
diff changeset
    14
   include sources, documentation, and add-on tools for all supported
65c893e0849f updated for release;
wenzelm
parents: 53525
diff changeset
    15
   platforms.
25214
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    16
54051
wenzelm
parents: 53978
diff changeset
    17
   Some technical background information may be found in the Isabelle
wenzelm
parents: 53978
diff changeset
    18
   System Manual (directory doc).
25214
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    19
57452
ecad2a53755a misc updates for release;
wenzelm
parents: 54051
diff changeset
    20
User interface
25214
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    21
50572
b33912e68b84 updated README;
wenzelm
parents: 47805
diff changeset
    22
   Isabelle/jEdit is an advanced Prover IDE based on jEdit and
57452
ecad2a53755a misc updates for release;
wenzelm
parents: 54051
diff changeset
    23
   Isabelle/Scala.  It is the main example application of the
ecad2a53755a misc updates for release;
wenzelm
parents: 54051
diff changeset
    24
   Isabelle/PIDE framework, and the default user interface of
ecad2a53755a misc updates for release;
wenzelm
parents: 54051
diff changeset
    25
   Isabelle.  It provides a metaphor of continuous proof checking of a
ecad2a53755a misc updates for release;
wenzelm
parents: 54051
diff changeset
    26
   versioned collection of theory sources, with instantaneous feedback
ecad2a53755a misc updates for release;
wenzelm
parents: 54051
diff changeset
    27
   in real-time and rich semantic markup associated with the formal
ecad2a53755a misc updates for release;
wenzelm
parents: 54051
diff changeset
    28
   text.
41596
e424bc65080d misc updates for release;
wenzelm
parents: 41527
diff changeset
    29
25214
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    30
Other sources of information
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    31
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    32
  The Isabelle Page
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    33
62197
f354900ac0ea updated mirrors according to website;
wenzelm
parents: 62190
diff changeset
    34
   The Isabelle home page may be accessed from the following mirror
f354900ac0ea updated mirrors according to website;
wenzelm
parents: 62190
diff changeset
    35
   sites:
50572
b33912e68b84 updated README;
wenzelm
parents: 47805
diff changeset
    36
62190
ec5703538300 tuned URLs according to website;
wenzelm
parents: 57452
diff changeset
    37
     * http://www.cl.cam.ac.uk/research/hvg/Isabelle
25415
02884a4e1ac6 removed left-over text links from lynx conversion;
wenzelm
parents: 25214
diff changeset
    38
     * http://isabelle.in.tum.de
62190
ec5703538300 tuned URLs according to website;
wenzelm
parents: 57452
diff changeset
    39
     * http://mirror.cse.unsw.edu.au/pub/isabelle
62197
f354900ac0ea updated mirrors according to website;
wenzelm
parents: 62190
diff changeset
    40
     * http://mirror.clarkson.edu/isabelle
25214
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    41
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    42
  Mailing list
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    43
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    44
   The electronic mailing list isabelle-users@cl.cam.ac.uk provides a
25447
880419e63924 updated Proof General advertisement;
wenzelm
parents: 25415
diff changeset
    45
   forum for Isabelle users to discuss problems and exchange
880419e63924 updated Proof General advertisement;
wenzelm
parents: 25415
diff changeset
    46
   information.  To join, send a message to
880419e63924 updated Proof General advertisement;
wenzelm
parents: 25415
diff changeset
    47
   isabelle-users-request@cl.cam.ac.uk.
25214
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    48
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    49
  Personal mail
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    50
25415
02884a4e1ac6 removed left-over text links from lynx conversion;
wenzelm
parents: 25214
diff changeset
    51
   Lawrence C Paulson
25214
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    52
   Computer Laboratory
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    53
   University of Cambridge
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    54
   JJ Thomson Avenue
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    55
   Cambridge CB3 0FD
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    56
   England
25415
02884a4e1ac6 removed left-over text links from lynx conversion;
wenzelm
parents: 25214
diff changeset
    57
   E-mail: lcp@cl.cam.ac.uk
25214
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    58
   Phone: +44-223-763500
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    59
   Fax: +44-223-334748
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    60
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    61
   or
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    62
25415
02884a4e1ac6 removed left-over text links from lynx conversion;
wenzelm
parents: 25214
diff changeset
    63
   Tobias Nipkow
02884a4e1ac6 removed left-over text links from lynx conversion;
wenzelm
parents: 25214
diff changeset
    64
   Institut fuer Informatik
02884a4e1ac6 removed left-over text links from lynx conversion;
wenzelm
parents: 25214
diff changeset
    65
   Technische Universitaet Muenchen
25214
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    66
   Boltzmannstr. 3
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    67
   D-85748 Garching
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    68
   Germany
25415
02884a4e1ac6 removed left-over text links from lynx conversion;
wenzelm
parents: 25214
diff changeset
    69
   E-mail: nipkow@in.tum.de
25214
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    70
   Phone: +49-89-289-17302
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    71
   Fax: +49-89-289-17307
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    72
     _________________________________________________________________
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    73
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    74
   Please report any problems you encounter. While we shall try to be
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    75
   helpful, we can accept no responsibility for the deficiencies of
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    76
   Isabelle and their consequences.
91730b492a45 ASCIIfied README
haftmann
parents:
diff changeset
    77
     _________________________________________________________________