blob: 6ac723f4feb1cb525678d56a473235f5b6449599 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
<p>
Here are some links to related issues. If you have any suggestions
for links to include here, or find broken links, please
<?php hlink("feedback.phtml","contact us","Feedback form")?>.
</p>
<ul>
<li><a href="http://www.dcs.ed.ac.uk/home/da/Isamode">Isamode</a>
is an XEmacs front-end for Isabelle. It has a different
feature collection compared with Proof General:
script management is not supported, but there are extensive
menus and shortcuts provided for common Isabelle
commands.
</ul>
<li>
|
