Admin/website/installation.html
author wenzelm
Wed, 15 Feb 2006 21:34:55 +0100
changeset 19046 bc5c6c9b114e
parent 17685 8e5b9790805e
permissions -rw-r--r--
removed distinct, renamed gen_distinct to distinct;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
16673
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
     1
<?xml version='1.0' encoding='iso-8859-1' ?>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
     2
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
     3
<!-- $Id$ -->
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
     4
<html xmlns="http://www.w3.org/1999/xhtml">
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
     5
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
     6
<head>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
     7
    <title>Installation instructions</title>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
     8
    <?include file="//include/htmlheader.include.html"?>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
     9
</head>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    10
16674
bf2cd93cc245 unified main and dist
haftmann
parents: 16673
diff changeset
    11
<body>
16673
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    12
    <?include file="//include/header.include.html"?>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    13
    <div class="hr"><hr/></div>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    14
    <?include file="//include/navigation.include.html"?>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    15
    <div class="hr"><hr/></div>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    16
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    17
    <div id="content">
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    18
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    19
      <h2>General</h2>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    20
      
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    21
        <p>
17661
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    22
            Isabelle runs on common Unix platforms.  We provide
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    23
            ready-to-use binary packages for Linux/x86, MaxOS X /
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    24
            Darwin, and Solaris.  For other platforms, Isabelle logics
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    25
            need to be compiled separately (see also <a
17671
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17661
diff changeset
    26
            href="//dist/Isabelle/INSTALL">INSTALL</a>).
16673
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    27
        </p>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    28
        
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    29
        <p>
17661
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    30
	    A practically usable Isabelle system consists of the
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    31
	    following components:
16673
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    32
        </p>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    33
        
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    34
        <ul>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    35
            <li>a suitable ML environment for Standard ML</li>
17661
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    36
            <li>the Isabelle system itself, including the desired object logics
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    37
            (e.&nbsp;g. HOL, HOL-Complex)</li>
16673
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    38
            <li>the ProofGeneral user interface</li>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    39
        </ul>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    40
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    41
        <p>Optionally, theory graph browsing may be used if a Java JRE 1.1 or above
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    42
        is installed.</p>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    43
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    44
        <p>For operating-system-specific instructions:</p>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    45
        
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    46
        <ul>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    47
            <li><a href="#install_linux">Linux (x86)</a></li>
17661
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    48
            <li><a href="#install_darwin">MacOS X / Darwin (ppc)</a></li>
16673
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    49
            <li><a href="#install_solaris">Solaris (sparc)</a></li>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    50
        </ul>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    51
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    52
      <h2 id="install_linux">Linux</h2>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    53
17661
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    54
        <p>Installation of Isabelle/HOL on common Linux/x86 platforms
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    55
        works as follows:</p>
16673
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    56
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    57
        <ul>
17661
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    58
            <li>For ProofGeneral, ensure that your system has a
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    59
                working installation of XEmacs 21, or Emacs 21 with
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    60
                mule support.  The XEmacs 21.1.x and 21.4.x versions
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    61
                are known to work reasonably well, but the beta branch
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    62
                of XEmacs 21.5.x usually fails!</li>
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    63
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    64
            <li>Get the packages for <a
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    65
                href="http://www.polyml.org">Poly/ML</a>, <a
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    66
                href="http://proofgeneral.inf.ed.ac.uk/">ProofGeneral</a>
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    67
                and Isabelle &ndash; all of this is available from the
17685
8e5b9790805e renamed packages to download;
wenzelm
parents: 17683
diff changeset
    68
                Isabelle <a href="download.html">download</a> page.
17661
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    69
                When you download ProofGeneral for the first time,
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    70
                please <a
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    71
                href="http://proofgeneral.inf.ed.ac.uk/register">register</a>.</li>
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    72
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    73
            <li>Likewise download the compiled images of the desired
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    74
            Isabelle object logics.</li>
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    75
16673
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    76
            <li>Unpack the archives to an appropriate location, e.&nbsp;g.
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    77
                <tt class="shellcmd">/usr/local</tt>:
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    78
                <ul class="shellcmd">
17671
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17661
diff changeset
    79
		<li>tar -C /usr/local -xzf <?downloadLink target="//dist/Isabelle2005.tar.gz"?></li>
17685
8e5b9790805e renamed packages to download;
wenzelm
parents: 17683
diff changeset
    80
                <li>tar -C /usr/local -xzf <?downloadLink target="//dist/contrib/ProofGeneral.tar.gz"?></li>
17671
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17661
diff changeset
    81
                <li>tar -C /usr/local -xzf <?downloadLink target="//dist/contrib/polyml_x86-linux.tar.gz"?></li>
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17661
diff changeset
    82
                <li>tar -C /usr/local -xzf <?downloadLink target="//dist/HOL_x86-linux.tar.gz"?></li>
16673
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    83
                </ul>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    84
            </li>
17661
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    85
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    86
            <li>Under most circumstances, the default settings of
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    87
                Isabelle should be reasonable for invoking
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    88
                Isabelle/ProofGeneral without further ado:
16673
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    89
                <ul class="shellcmd">
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    90
                    <li>/usr/local/Isabelle/bin/Isabelle</li>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
    91
                </ul>
17661
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    92
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    93
		Failure on this is typically a problem with unstable
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    94
		XEmacs versions; consider command line option
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    95
		<code>-p</code> to specify a different xemacs
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    96
		executable.
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    97
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    98
		The X-Symbol package is already included in Proof
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
    99
                General, but needs to be enabled separately; use the
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   100
                <code>-x</code> command line option, or the
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   101
                <em>Options</em> menu.
16673
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
   102
            </li>
17672
25d8a4586836 warn about Poly/ML segfault problem;
wenzelm
parents: 17671
diff changeset
   103
25d8a4586836 warn about Poly/ML segfault problem;
wenzelm
parents: 17671
diff changeset
   104
            <li>Isabelle may also be run without ProofGeneral, as a
25d8a4586836 warn about Poly/ML segfault problem;
wenzelm
parents: 17671
diff changeset
   105
                plain shell process as follows:
25d8a4586836 warn about Poly/ML segfault problem;
wenzelm
parents: 17671
diff changeset
   106
		<ul class="shellcmd">
25d8a4586836 warn about Poly/ML segfault problem;
wenzelm
parents: 17671
diff changeset
   107
                <li>/usr/local/Isabelle/bin/isabelle-process -I</li>
25d8a4586836 warn about Poly/ML segfault problem;
wenzelm
parents: 17671
diff changeset
   108
		</ul>
25d8a4586836 warn about Poly/ML segfault problem;
wenzelm
parents: 17671
diff changeset
   109
		Type CTRL-D to exit.
25d8a4586836 warn about Poly/ML segfault problem;
wenzelm
parents: 17671
diff changeset
   110
25d8a4586836 warn about Poly/ML segfault problem;
wenzelm
parents: 17671
diff changeset
   111
		If the above does not work at all, maybe you are
25d8a4586836 warn about Poly/ML segfault problem;
wenzelm
parents: 17671
diff changeset
   112
		suffering from a known problem of Poly/ML on certain
25d8a4586836 warn about Poly/ML segfault problem;
wenzelm
parents: 17671
diff changeset
   113
		Linux versions, see also <a
25d8a4586836 warn about Poly/ML segfault problem;
wenzelm
parents: 17671
diff changeset
   114
		href="http://www.polyml.org/linuxsegfault.html">Segmentation
25d8a4586836 warn about Poly/ML segfault problem;
wenzelm
parents: 17671
diff changeset
   115
		faults with Linux</a> on the Poly/ML site.
17678
wenzelm
parents: 17676
diff changeset
   116
	    </li>
wenzelm
parents: 17676
diff changeset
   117
	</ul>
16673
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
   118
17661
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   119
      <h2 id="install_darwin">MaxOS X / Darwin</h2>
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   120
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   121
        <p>Ensure that your system provides the following:</p>
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   122
        <ul>
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   123
            <li>MacOS X 10.2.2 or higher</li>
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   124
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   125
            <li>XEmacs 21, or Emacs 21 with mule support (for
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   126
                ProofGeneral) &ndash; for further reference, see the
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   127
                <a href="installation_macos_emacs.html">MacOS X Emacs
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   128
                hints</a>. </li>
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   129
        </ul>
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   130
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   131
        <p>Then installation on MacOS X / Darwin is analogous to
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   132
        Linux, but note that some GNU executables are named
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   133
        differently.</p>
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   134
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   135
        <ul>
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   136
            <li>Unpack the archives to an appropriate location, e.&nbsp;g.
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   137
                <tt class="shellcmd">/usr/local</tt>:
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   138
                <ul class="shellcmd">
17671
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17661
diff changeset
   139
                    <li>gtar -C /usr/local -xzf <?downloadLink target="//dist/Isabelle2005.tar.gz"?></li>
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17661
diff changeset
   140
                    <li>gtar -C /usr/local -xzf <?downloadLink target="//dist/contrib/ProofGeneral.tar.gz"?></li>
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17661
diff changeset
   141
                    <li>gtar -C /usr/local -xzf <?downloadLink target="//dist/contrib/polyml_ppc-darwin.tar.gz"?></li>
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17661
diff changeset
   142
                    <li>gtar -C /usr/local -xzf <?downloadLink target="//dist/HOL_ppc-darwin.tar.gz"?></li>
17661
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   143
                </ul>
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   144
            </li>
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   145
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   146
            <li>Invoke Isabelle/ProofGeneral as follows:
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   147
                <ul class="shellcmd">
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   148
                    <li>/usr/local/Isabelle/bin/Isabelle</li>
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   149
                </ul>
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   150
            </li>
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   151
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   152
        </ul>
16673
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
   153
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
   154
      <h2 id="install_solaris">Solaris</h2>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
   155
17661
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   156
        <p>Ensure that the following tools are available on your system:</p>
16673
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
   157
        <ul>
17661
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   158
            <li>Perl 5.x</li>
16673
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
   159
            <li>GNU bash 2.x</li>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
   160
            <li>GNU tar 1.13 or higher</li>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
   161
            <li>GNU gzip 1.3 or higher</li>
17661
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   162
            <li>XEmacs 21, or Emacs 21 with mule support (for ProofGeneral)</li>
16673
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
   163
        </ul>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
   164
17661
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   165
        <p>The rest of the installation is analogous to Linux (see
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   166
        above).</p>
16673
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
   167
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
   168
        <ul>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
   169
            <li>Unpack the archives to an appropriate location, e.&nbsp;g.
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
   170
                <tt class="shellcmd">/usr/local</tt>:
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
   171
                <ul class="shellcmd">
17671
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17661
diff changeset
   172
                    <li>gtar -C /usr/local -xzf <?downloadLink target="//dist/Isabelle2005.tar.gz"?></li>
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17661
diff changeset
   173
                    <li>gtar -C /usr/local -xzf <?downloadLink target="//dist/contrib/ProofGeneral.tar.gz"?></li>
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17661
diff changeset
   174
                    <li>gtar -C /usr/local -xzf <?downloadLink target="//dist/contrib/polyml_sparc-solaris.tar.gz"?></li>
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17661
diff changeset
   175
                    <li>gtar -C /usr/local -xzf <?downloadLink target="//dist/HOL_sparc-solaris.tar.gz"?></li>
16673
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
   176
                </ul>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
   177
            </li>
17661
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   178
994d010c0abd updates for Isabelle2005;
wenzelm
parents: 16674
diff changeset
   179
            <li>Invoke Isabelle/ProofGeneral as follows:
16673
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
   180
                <ul class="shellcmd">
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
   181
                    <li>/usr/local/Isabelle/bin/Isabelle</li>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
   182
                </ul>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
   183
            </li>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
   184
        </ul>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
   185
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
   186
    </div>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
   187
    <div class="hr"><hr/></div>
16674
bf2cd93cc245 unified main and dist
haftmann
parents: 16673
diff changeset
   188
    <?include file="//include/footer.include.html"?>
16673
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
   189
</body>
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
   190
6b14aba5ddaa started unifying main and dist
haftmann
parents:
diff changeset
   191
</html>