coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
* \| \| \|	Merge PR#692: Fail on deprecated warning even for Ocaml > 4.02.3	Maxime Dénès	2017-05-30
\|\ \ \ \ \| \|_\|/ / \|/\| \| \|
\| \| * \|	Using the same strategy in coqdoc than in coqtop to guess the coqlib.	Hugo Herbelin	2017-05-29
\| \| * \|	Exporting the suffixes needed to build coqlib, docdir, etc.	Hugo Herbelin	2017-05-29
\| \| * \|	Using Coq_config.local rather than None to tell that Coq_config.coqlib is local.	Hugo Herbelin	2017-05-29
* \| \| \|	Merge PR#512: [cleanup] Unify all calls to the error function.	Maxime Dénès	2017-05-29
\|\ \ \ \ \| \|_\|/ / \|/\| \| \|
\| \| * \|	Fail on deprecated warning even for Ocaml > 4.02.3	Gaëtan Gilbert	2017-05-28
* \| \| \|	Merge PR#683: coq_makefile: build .cma for each .mlpack	Maxime Dénès	2017-05-28
\|\ \ \ \
* \ \ \ \	Merge PR#658: [coqdoc] Add keywords in bug 2884.	Maxime Dénès	2017-05-28
\|\ \ \ \ \ \| \|_\|_\|/ / \|/\| \| \| \|
\| \| \| * \|	[cleanup] Unify all calls to the error function.	Emilio Jesus Gallego Arias	2017-05-27
\| \|_\|/ / \|/\| \| \|
\| \| * \|	coq_makefile: build .cma for each .mlpack	Enrico Tassi	2017-05-27
\| \|/ / \|/\| \|
* \| \|	Merge PR#645: [stm] Tweak debug options.	Maxime Dénès	2017-05-25
\|\ \ \
* \ \ \	Merge PR#406: coq makefile2	Maxime Dénès	2017-05-25
\|\ \ \ \
\| * \| \| \|	coq_makefile: use -include rather than include	Enrico Tassi	2017-05-24
\| * \| \| \|	add the only target	Enrico Tassi	2017-05-23
\| * \| \| \|	coq_makefile: avoid spurious ./ in generated .conf file	Enrico Tassi	2017-05-23
\| * \| \| \|	Restore 8.5, 8.6 compatibility of STDTIME, TIMECMD	Jason Gross	2017-05-23
\| * \| \| \|	coq_makefile: don't quote extra arguments (-arg)	Enrico Tassi	2017-05-23
\| * \| \| \|	Make install a single colon target for retro compatibility	Enrico Tassi	2017-05-23
\| * \| \| \|	enters coq_makefile2	Enrico Tassi	2017-05-23
\| * \| \| \|	coqdep: remove optimization making makefiles harder to write	Enrico Tassi	2017-05-23
\| * \| \| \|	coqdep: set FOR_PACK variable for files that need to be packed	Enrico Tassi	2017-05-23
\| * \| \| \|	Document --print-version in Usage	Enrico Tassi	2017-05-23
\| * \| \| \|	Put the list of Coq sources subdirectories in one place	Enrico Tassi	2017-05-23
\| * \| \| \|	Usage.print_config moved to Envars	Enrico Tassi	2017-05-23
\| * \| \| \|	CoqProject_file: API and code cleanup (tuples -> records)	Enrico Tassi	2017-05-23
\| * \| \| \|	ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mli	Enrico Tassi	2017-05-23
* \| \| \| \|	[vernac] Remove `Save.` command.	Emilio Jesus Gallego Arias	2017-05-23
\|/ / / /
\| \| * /	[coqdoc] Add keywords in bug 2884.	Emilio Jesus Gallego Arias	2017-05-20
\| \|/ / \|/\| \|
\| * \|	[stm] Tweak debug options.	Emilio Jesus Gallego Arias	2017-05-18
\|/ /
* \|	Dead code in coqdep.	Hugo Herbelin	2017-05-15
* \|	Fix 4.04 warnings	Gaetan Gilbert	2017-04-27
* \|	Warning 29: non escaped end of line may be non portable	Gaetan Gilbert	2017-04-27
* \|	Remove some unused values and types	Gaetan Gilbert	2017-04-27
* \|	Fix omitted labels in function calls	Gaetan Gilbert	2017-04-27
* \|	[camlpX] Enrico's changes to camlp4 removal.	Emilio Jesus Gallego Arias	2017-04-07
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-03-22
\|\\|
* \|	[xml] Restore protocol compatibility with 8.6.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[pp] Remove uses of expensive string_of_ppcmds.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[pp] Remove special tag type and handler from Pp.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[pp] Remove richpp from fake_ide.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[pp] Make feedback the only logging mechanism.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[ide] Use "log via feedback".	Emilio Jesus Gallego Arias	2017-03-21
* \|	[misc] Remove warnings about String.set	Emilio Jesus Gallego Arias	2017-03-20
* \|	[safe-string] Enable -safe-string !	Emilio Jesus Gallego Arias	2017-03-14
* \|	[safe-string] tools	Emilio Jesus Gallego Arias	2017-03-14
\| *	Fix #5132: coq_makefile generates incorrect install goal	Vadim Zaliva	2017-03-14
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-02-22
\|\\|
* \|	Removing spurious folder includes in coq_makefile.	Pierre-Marie Pédrot	2017-02-17
* \|	[stm] Break stm/toplevel dependency loop.	Emilio Jesus Gallego Arias	2017-02-15
\| *	fix Emacs compiler warning on '(lambda...)	Hendrik Tews	2017-02-06