Re: xemacs update
Re: xemacs update
On Fri, Jun 13, 2003 at 10:19:34AM +0100, Lawrence Paulson wrote:
> Loading proof-splash...
> Loading proof-splash...done
> File mode specification error: (wrong-type-argument
> number-char-or-marker-p nil\
> )
That looks like a bug in the elisp code to me. It's probably a version
incompatibility with some other package, or possibly with this
particular version of emacs. Although it sounds to me as though the
error is actually elsewhere, it just finally falls over at this point.
> Without the -nw switch, xemacs gets much further before hanging with
> the usual error message "BadMatch (invalid parameter attributes)".
Presumably it skips any X initialisation stuff, and then falls over
elsewhere.
> It seems that my package (Proof General, http://www.proofgeneral.org/)
> doesn't expect to run without X11.
I don't think that follows necessarily. Does it do anything graphical?
The web site you mention says it also works with normal GNU emacs. So,
have you tried running it under the emacs supplied by Apple in
/usr/bin/emacs? It's a recent enough version. Judging by the screen
shots on that sire, it's not dependent on X.
It is dependent on some other Emacs lisp packages - you do have these
installed, I take it?
You do have the xemacs-base-pkgs package installed, don't you? That
package contains the comint.el file which Proof General requires.
I'm increasingly of the opinion that this is a problem between the
release of Proof General that you have, and the version of xemacs that
you have, and has nothing to do with X.
Tim
--
Dr Tim Cutts
Informatics Systems Group
Wellcome Trust Sanger Institute, Hinxton, Cambridge, CB10 1SA, UK
_______________________________________________
x11-users mailing list | email@hidden
Help/Unsubscribe/Archives: http://www.lists.apple.com/mailman/listinfo/x11-users
X11 for Mac OS X FAQ: http://developer.apple.com/qa/qa2001/qa1232.html
Report issues, request features, feedback: http://developer.apple.com/bugreporter
Do not post admin requests to the list. They will be ignored.