The Coq mailing list

["Samuel Howse" <howse AT ns.sympatico.ca>]

Now it is easy to add Coq to your Visual Studio projects!

Logician's Toolkit integrates Coq 8.0pl3 with MSBuild, the build system used
by Microsoft Visual Studio .NET 2005 (including Express Editions).

Logician's Toolkit currently supports coqc and coqdoc (HTML and LaTeX), and
works with Vernacular files spanning multiple directories. A small amount of
manual project file editing is required.

You can download Logician's Toolkit at:

http://nummist.com/poohbist/index.html

More detailed explanation in the README at:

http://nummist.com/poohbist/LogicianToolkit/README.txt

Comments or questions are welcome.

Sam Howse