Update: someone informs me that there's an eclipse plugin, which seems obvious in retrospect. I stand by this since I think emacs is a better editor, but, for those who don't know emacs that surely makes more sense.----Another update: see here.----I have
Read More