coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Adding a new folder corresponding to the low-level part of the pretyper	Pierre-Marie Pédrot	2015-02-27
*	Adding a stm/ folder, as asked during last workgroup. It was essentially moving	Pierre-Marie Pédrot	2014-04-25
*	Coqmktop without Sys.command, changes in ./configure -*byteflags options	Pierre Letouzey	2014-01-30
*	Coqdep always uses / as dir_sep	Pierre Boutillier	2013-12-20
*	A few fixes to the build system (mostly for ocamlbuild)	Pierre Letouzey	2013-12-16
*	Misc changes around coqtop.ml :	letouzey	2013-08-22
*	coqc and coqmktop migrated in tools/, get rid of scripts/ subdir	letouzey	2013-04-18
*	Coqmktop: dynlink is now mandatory due to Maxime's native-compiler	letouzey	2013-04-17
*	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
*	myocamlbuild : fixes for new printing directory + sourceview for coqide	letouzey	2012-08-23
*	No more states/initial.coq, instead coqtop now requires Prelude.vo	letouzey	2012-08-23
*	Revert "when cross-compiling with mingw32, let's fix the Filename.dir_sep"	letouzey	2012-08-23
*	Port from 8.4 branch some build fixes concerning win32 :	letouzey	2012-08-23
*	place all files specific to camlp4 syntax extensions in grammar/	letouzey	2012-05-29
*	when cross-compiling with mingw32, let's fix the Filename.dir_sep	letouzey	2012-05-15
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
*	myocamlbuild: -DWIN32 instead of -DWin32	letouzey	2011-12-23
*	adapt myocamlbuild after changes in coqdep_boot (.beautify)	letouzey	2011-12-21
*	ocamlbuild: remove -dllpath from coqrunbyteflags	glondu	2011-10-07
*	ocamlbuild: Fix ocamlbuild compilation for changes to configure from r14500.	glondu	2011-10-07
*	In Coq_config: get rid of coqsrc and make coqlib optional	glondu	2011-09-27
*	Ocamlbuild : build of fake_ide	letouzey	2011-09-06
*	Coqide: try to properly send interrupts to coqtop on Win32	letouzey	2011-04-28
*	Coqide: a special kill function for win32	letouzey	2011-04-21
*	Ocamlbuild: in win32, coqide is now a console-free app by default	letouzey	2011-04-21
*	Win32: let's directly make coqtop.exe and coqide.exe incorporate coq.ico	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
*	Ocamlbuild: try to speed-up error detection in .ml, by byte-compiling first	letouzey	2010-06-03
*	Ocamlbuild: various fix	letouzey	2010-05-19
*	Remove refutpat.ml4, ideal.ml4 is again a normal .ml, let* coded in a naive way	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
*	Some more adaptations for Debian-->mingw32	letouzey	2010-02-26
*	mingw32 cross-compilation: coqide.exe as a GUI program, nicer ./build script	letouzey	2010-02-25
*	Win32 cross-compilation from debian: build of coqide.exe and other binaries	letouzey	2010-02-24
*	Experimental build of coqtop.exe + plugins via cross-compilation linux-->win32	letouzey	2010-02-18
*	Mycamlbuild: change name of autogenerated file : NMake -> Nmake_gen	letouzey	2010-02-12
*	Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...	letouzey	2009-12-09
*	Fix the build of coq via ocamlbuild	letouzey	2009-12-08
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Use camlp4 to accept some specific non-exhaustive patterns in groebner	letouzey	2009-07-20
*	ocamlbuild: right symlink for csdpcert	letouzey	2009-04-08
*	Ocamlbuild: option for (not) building coqide, better log messages	letouzey	2009-04-03