Here are some links to related things.
If you have any suggestions
for links to include here, or find broken links, please
.
- Isamode
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.