Xref: utzoo gnu.emacs:3974 comp.emacs:9146
Path: utzoo!attcan!uunet!know!zaphod.mps.ohio-state.edu!uwm.edu!rutgers!rochester!cornell!murthy
From: murthy@algron.cs.cornell.edu (Chet Murthy)
Newsgroups: gnu.emacs,comp.emacs
Subject: SUNRPC to/from Emacs
Message-ID: <46249@cornell.UUCP>
Date: 25 Sep 90 14:40:38 GMT
Sender: nobody@cornell.UUCP
Organization: Cornell Univ. CS Dept. Ithaca NY
Lines: 13


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--