coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	win32: embed NSIS for plugin writers	Enrico Tassi	2014-09-19
\|
*	Bump CoqSDK revision number	Jason Gross	2014-09-09
\|
*	Add a VERBOSE flag to make-sdk-win32	Jason Gross	2014-09-09
\| \| \| \|	For debugging purposes.
*	Minor code style cleanup in make-sdk-win32	Jason Gross	2014-09-09
\|
*	Support 64-bit cygwin	Jason Gross	2014-09-09
\|
*	Support machines that have a full or nonexistant C drive	Jason Gross	2014-09-09
\|
*	Support environments where `find` is Windows' find	Jason Gross	2014-09-09
\|
*	Installer for win32	Enrico Tassi	2014-09-09
	Not 100% functional, but coqide works. The native compiler is embedded but: - some path mangling problem prevents it from working even when run via cygwin (like in the build process) - CAMLLIB must be exported to ${COQ}\ocaml\lib to have it run (coq should do it). fix