coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Preemptively remove files from native compilation.	Guillaume Melquiond	2014-06-16
*	Fix native_compute for systems with a limited size for the command line.	Guillaume Melquiond	2014-05-22
*	Native compiler: hide compiled files in a .coq-native subdirectory.	Maxime Dénès	2014-04-29
*	Remove many superfluous 'open' indicated by ocamlc -w +33	Pierre Letouzey	2014-03-05
*	Avoid generating .ml files in native compiler.	Maxime Dénès	2013-12-29
*	Native compiler: library compilation errors are now non fatal.	mdenes	2013-10-28
*	Misc changes around coqtop.ml :	letouzey	2013-08-22
*	Restrict (try...with...) to avoid catching critical exn (part 8)	letouzey	2013-03-13
*	Reduced the noise level when dynlinking in bytecode mode or when	mdenes	2013-02-24
*	Uniformization of the "anomaly" command.	ppedrot	2013-01-28
*	Native compiler: warnings were not turned off for OCaml 3.11	mdenes	2013-01-24
*	New implementation of the conversion test, using normalization by evaluation to	mdenes	2013-01-22