My thanks go to the following people for their suggestions, testing and bug-reports: Sara Kalvala, Larry Paulson, Christian Prehofer, Tobias Nipkow, Chris Owens, Ole Steen Rasmussen, Claudio Russo, Markus Wenzel.
I am happy to receive any grateful comments, clever suggestions, or moaning reports of problems concerning this program and its documentation. The only rewards for developing Isamode are your feedback and the nefarious pleasures of elisp hacking, so please drop a line!
David Aspinall,
Laboratory for foundations of Computer Science,
Division of Informatics,
University of Edinburgh,
King's Buildings,
Edinburgh.
email:David.Aspinall@dcs.ed.ac.uk
Go to the first, previous, next, last section, table of contents.