murthy@algron.cs.cornell.edu (Chet Murthy) (09/25/90)
I am about to start using Emacs as a proof editor, and I have written a SUNRPC interface for the theorem-prover already. So my question is... Which is a better way to go - writing the SUNRPC/XDR code in Elisp, or just writing some C code to do the interface? Also, has anybody done something like this, and if so, do you have some code you wouldn't mind releasing? Thanks, --chet--