Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Isamode --- Theorem Proving with Isabelle inside Emacs
Authors: David Aspinall
Date:May 2000
This paper documents Isamode, a user-interface and suite of editing functions for using the theorem prover Isabelle inside Emacs.
2000 by David Aspinall and The University of Edinburgh. All Rights Reserved
Links To Paper
No links available
Bibtex format
author = { David Aspinall },
title = {Isamode --- Theorem Proving with Isabelle inside Emacs},
year = 2000,
month = {May},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh