equal
deleted
inserted
replaced
21 A <em>comfortable</em> Isabelle working environment demands further |
21 A <em>comfortable</em> Isabelle working environment demands further |
22 user interface support, as provided by <a |
22 user interface support, as provided by <a |
23 href="http://www.dcs.ed.ac.uk/home/proofgen/">Proof General</a> |
23 href="http://www.dcs.ed.ac.uk/home/proofgen/">Proof General</a> |
24 together with the (optional) <a |
24 together with the (optional) <a |
25 href="http://www.fmi.uni-passau.de/~wedler/x-symbol/">X-Symbol</a> |
25 href="http://www.fmi.uni-passau.de/~wedler/x-symbol/">X-Symbol</a> |
26 package. Both of these require a recent version of <a |
26 package. Both of these should be used with a recent version of <a |
27 href="http://www.xemacs.org">XEmacs</a> (e.g. version 21). |
27 href="http://www.xemacs.org">XEmacs</a> (e.g. version 21.1). |
28 |
28 |
29 <p> |
29 <p> |
30 |
30 |
31 Below we offer tuned distributions of Proof General and X-Symbol, such |
31 Below we offer tuned distributions of Proof General and X-Symbol, such |
32 that <em>no manual configuration</em> is required when used with |
32 that <em>no manual configuration</em> is required when used with |