Informatics Report Series

Report   

EDI-INF-RR-0020

Related Pages
Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index
Home
Title:Isamode --- Theorem Proving with Isabelle inside Emacs
Authors: David Aspinall
Date:May 2000
Abstract:
This paper documents Isamode, a user-interface and suite of editing functions for using the theorem prover Isabelle inside Emacs.
Copyright:
2000 by David Aspinall and The University of Edinburgh. All Rights Reserved
Links To Paper
No links available
Bibtex format
@Misc{EDI-INF-RR-0020,
author = { David Aspinall },
title = {Isamode --- Theorem Proving with Isabelle inside Emacs},
year = 2000,
month = {May},
}


Home : Publications : Report 

Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh