4 commits

Author	SHA1	Message	Date
Kris Kennaway	737474f87e	BROKEN on amd64: Does not build	2005-10-28 06:34:44 +00:00
Simon Barner	7eac167eb8	Fix plist. ... Reported by: kris via pointhat Pointy hat to: me for not being more thorough	2005-09-15 23:34:10 +00:00
Simon Barner	a446c1e3b4	Fix build: ... - Use any installed version of [x]emacs - If there's no emacs at all, fall back to xemacs21-mule - files/patch-isa_isabelle-system.el: Avoid interactive prompt if building with GNU emacs. Submitted by: barner, maintainer (partly) Approved by: Timothy Bourke <timbob@bigpond.com> (maintainer) Reported by: kris via pointyhat	2005-09-15 00:47:17 +00:00
Simon Barner	f6925bfda8	Add proofgeneral 3.5, a generic interface for proof assistants. ... PR: 84788 Submitted by: Timothy Bourke <timbob@bigpond.com>	2005-08-31 10:36:36 +00:00