equal
deleted
inserted
replaced
76 system. Further background information may be found in the |
76 system. Further background information may be found in the |
77 <em>Isabelle System Manual</em>, distributed as <tt>dvi</tt> with the |
77 <em>Isabelle System Manual</em>, distributed as <tt>dvi</tt> with the |
78 sources. |
78 sources. |
79 |
79 |
80 |
80 |
|
81 <h2>Interfaces</h2> |
|
82 |
|
83 The distribution includes only a very primitive interface based on |
|
84 ordinary terminal sessions.<p> |
|
85 |
|
86 David Aspinall has written an infinitely better <a |
|
87 href="ftp://ftp.dcs.ed.ac.uk/pub/da/Isamode.tar.gz">user interface</a> |
|
88 for Isabelle. It runs under GNU Emacs and XEmacs. It's useful to |
|
89 both novices and experts. |
|
90 |
|
91 |
81 <h2>Other sources of information</h2> |
92 <h2>Other sources of information</h2> |
82 |
93 |
83 <h3>Mailing list</h3> |
94 <h3>Mailing list</h3> |
84 |
95 |
85 The electronic mailing list <tt>isabelle-users@cl.cam.ac.uk</tt> |
96 The electronic mailing list <tt>isabelle-users@cl.cam.ac.uk</tt> |