equal
deleted
inserted
replaced
81 <h2>Interfaces</h2> |
81 <h2>Interfaces</h2> |
82 |
82 |
83 The distribution includes only a very primitive interface based on |
83 The distribution includes only a very primitive interface based on |
84 ordinary terminal sessions.<p> |
84 ordinary terminal sessions.<p> |
85 |
85 |
86 <a href="ftp://ftp.dcs.ed.ac.uk/pub/da/Isamode.tar.gz">Isamode</a> by |
86 <a href="http://www.dcs.ed.ac.uk/home/da/Isamode/">Isamode</a> by |
87 David Aspinall is a more elaborate interface for Isabelle. It runs |
87 David Aspinall is a more elaborate interface for Isabelle. It runs |
88 under recent versions of GNU Emacs and XEmacs, the latter being |
88 under recent versions of XEmacs and is useful to both novices and |
89 recommended. It's useful to both novices and experts. |
89 experts. |
90 |
90 |
91 |
91 |
92 <h2>Other sources of information</h2> |
92 <h2>Other sources of information</h2> |
93 |
93 |
94 <h3>Mailing list</h3> |
94 <h3>Mailing list</h3> |