coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	A few fixes to the build system (mostly for ocamlbuild)	Pierre Letouzey	2013-12-16
*	coqc and coqmktop migrated in tools/, get rid of scripts/ subdir	letouzey	2013-04-18
*	Revert "remove -rectypes except for term.ml"	mdenes	2013-01-22
*	Coqide: get rid of threads, use gtk asynchronous i/o instead	letouzey	2012-12-08
*	Turn mltop.ml4 into a regular ocaml file	letouzey	2012-10-06
*	ocamlbuild simplifications	letouzey	2012-10-06
*	remove -rectypes except for term.ml	letouzey	2012-10-06
*	place all pretty-printing files in new dir printing/	letouzey	2012-05-29
*	place all files specific to camlp4 syntax extensions in grammar/	letouzey	2012-05-29
*	Vernacexpr is now a mli-only file, locality stuff now in locality.ml	letouzey	2012-05-29
*	migration of g_obligations.ml4, ocamlbuild side	letouzey	2012-04-26
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
*	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