The Coq mailing list

["Edward Z. Yang" <ezyang AT MIT.EDU>]

Hello all,

Over the past month, with the assistance of Adam Chlipala, I have been
developing a web-based frontend to Coq which takes a much more opinionated
view about what the interface should look like than ProofWeb (which,
all-in-all, looks a lot like ProofGeneral).  Along the way, I've resurrected
some of the ideas from the old proof by pointing papers.  You can check it
out here (initially loading it may take a little bit of time, please be
patient):

    http://logitext.ezyang.scripts.mit.edu/main

Bugs and other comments gladly accepted, although I expect I'll be wrapping
up this particular project in the near future.

Edward