I have tried to contact the coq and emacs-common-proofgeneral package
maintainers directly, but have not had much luck. If any of those
maintainers can shoot me an email, that would be great.
Thanks,
Ben
--
Benjamin R Kreuter
UVA Computer Science
brk...@virginia.edu
KK4FJZ
--
If large
On Fri, Oct 26, 2012 at 8:18 AM, Benjamin Kreuter ben.kreu...@gmail.com wrote:
I have tried to contact the coq and emacs-common-proofgeneral package
maintainers directly, but have not had much luck. If any of those
maintainers can shoot me an email, that would be great.
Sorry. I have been
On Fri, Oct 26, 2012 at 08:43:54AM -0600, Jerry James wrote:
On Fri, Oct 26, 2012 at 8:18 AM, Benjamin Kreuter ben.kreu...@gmail.com
wrote:
I have tried to contact the coq and emacs-common-proofgeneral package
maintainers directly, but have not had much luck. If any of those
maintainers
On Fri, 26 Oct 2012 20:30:54 +0100
Richard W.M. Jones rjo...@redhat.com wrote:
I sort of got the impression that Benjamin was looking for the
*upstream* maintainers ...?
Actually I was looking for Jerry; I took the rest of the discussion
off-list.
-- Ben
--
Benjamin R Kreuter
UVA Computer