Benno wrote:
There is also Isabelle: http://isabelle.in.tum.de/ which is free.
I've seen this before but run away screaming because it is Emacs based. Two options, I can try to learn Emacs (shudder) or I can try to figure out how this thing is integrated with Emacs and use it without Emacs.
I think the former would be easier, but I'd feel so dirty afterwards. Trent -- SLUG - Sydney Linux User's Group Mailing List - http://slug.org.au/ Subscription info and FAQs: http://slug.org.au/faq/mailinglists.html