Here are some links to related issues. 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.