README.html
changeset 3322 bc4d107fb6dd
parent 3306 13d955a405f3
child 3360 85a7eede097e
equal deleted inserted replaced
3321:c609a0119fd8 3322:bc4d107fb6dd
    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 David Aspinall has written an infinitely better <a
    86 David Aspinall has written a more elaborate <a
    87 href="ftp://ftp.dcs.ed.ac.uk/pub/da/Isamode.tar.gz">user interface</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
    88 for Isabelle.  It runs under recent versions of GNU Emacs and XEmacs,
    89 both novices and experts.
    89 the latter being recommended.  It's useful to both novices and
       
    90 experts.
    90 
    91 
    91 
    92 
    92 <h2>Other sources of information</h2>
    93 <h2>Other sources of information</h2>
    93 
    94 
    94 <h3>Mailing list</h3>
    95 <h3>Mailing list</h3>