coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Moving XML handling to lib directory	ppedrot	2011-11-24
*	Fixed ocamlbuild compilation (Tom Prince)	ppedrot	2011-11-09
*	Ocamlbuild : build of fake_ide	letouzey	2011-09-06
*	Bug 3596: ocamlbuild: coq_makefile now requires Unix	pboutill	2011-09-03
*	G_vernac can be parsed without grammar.cma	letouzey	2011-04-26
*	Ocamlbuild: in win32, coqide is now a console-free app by default	letouzey	2011-04-21
*	ocamlbuild: support again camlp5 in addition to camlp4	letouzey	2011-04-08
*	Ide: more reorganisation and cleanup	letouzey	2011-03-25
*	Fix ocamlbuild-based build system	glondu	2011-01-11
*	Ocamlbuild: adapt to last changes for camlp4 (use of tools/compat5*.cmo)	letouzey	2010-07-15
*	Misc fixes related to new nsatz (and ocamlbuild)	letouzey	2010-06-03
*	Ocamlbuild: various fix	letouzey	2010-05-19
*	static (and shared) camlp4use instead of per-file declaration	letouzey	2010-05-19
*	Myocamlbuild: slight simplification of code for .ml4	letouzey	2010-03-18
*	Fix the build of coq via ocamlbuild	letouzey	2009-12-08
*	Use camlp4 to accept some specific non-exhaustive patterns in groebner	letouzey	2009-07-20
*	_tags: lexer.ml4 now uses pa_macro	letouzey	2009-04-28
*	ocamlbuild: tags for new file tactics/rewrite.ml4	letouzey	2009-04-08
*	Csdpcert: adaptation after last commit	letouzey	2009-03-29
*	ocamlbuild: many improvements (macos 10.5 fix, correct dllpath, etc)	letouzey	2009-03-29
*	ocamlbuild: coqide, coqchk, a bit of .vo	letouzey	2009-03-26
*	ocamlbuild improvements + minor makefile fix	letouzey	2009-03-24
*	Many changes in the Makefile infrastructure + a beginning of ocamlbuild	letouzey	2009-03-20