yepp, that fixed it albeit it removes proofgeneral which ahs hardcoded dependency on emacs23 in ubuntu - any chance to get it rebuild with saner dependencies and placed into same ppa as emacs24?
yepp, that fixed it albeit it removes proofgeneral which ahs hardcoded dependency on emacs23 in ubuntu - any chance to get it rebuild with saner dependencies and placed into same ppa as emacs24?