K 10
svn:author
V 6
barner
K 8
svn:date
V 27
2005-09-15T00:47:17.000000Z
K 7
svn:log
V 342
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

END