coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR #1054: Restoring test on ident validity while browsing directory str...	Maxime Dénès	2017-10-11
\|\
\| *	Restoring test on ident validity while browsing directory structure.	Hugo Herbelin	2017-10-10
* \|	[configure] Support for flambda flags.	Emilio Jesus Gallego Arias	2017-10-10
\|/
*	Fix hardcoded boot dependencies after #1041.	Gaëtan Gilbert	2017-10-07
*	Merge PR #1041: Miscellaneous fixes about UTF-8 (including a fix to BZ#5715 t...	Maxime Dénès	2017-10-05
\|\
* \|	coq_makefile: make sure compile flags for Coq and coq_makefile are in sync	Emilio Jesus Gallego Arias	2017-09-19
\| *	Supporting library names in utf8 in coqdep.	Hugo Herbelin	2017-09-13
\|/
*	Merge PR #958: coq_makefile: build/use .cma for packed plugins too	Maxime Dénès	2017-08-31
\|\
* \	Merge PR #773: [flags] Remove XML output flag.	Maxime Dénès	2017-08-29
\|\ \
\| \| *	test-suite: depend on byte compilation too	Enrico Tassi	2017-08-29
\| \|/ \|/\|
* \|	More portable location for the time command.	Théo Zimmermann	2017-08-12
\| *	[flags] Remove XML output flag.	Emilio Jesus Gallego Arias	2017-08-01
\|/
*	Merge PR #921: [make] remove compat5 file.	Maxime Dénès	2017-08-01
\|\
* \	Merge PR #852: Makefile: fails if some .vo or .cm* file has no source	Maxime Dénès	2017-07-28
\|\ \
\| \| *	[make] remove compat5 file.	Emilio Jesus Gallego Arias	2017-07-27
\| \|/ \|/\|
* \|	make sure that API-leaks cannot be reintroduced by mistake	Matej Košík	2017-07-26
* \|	Merge branch 'v8.7'	Maxime Dénès	2017-07-20
\|\ \
* \| \|	[API] Remove `open API` in ml files in favor of `-open API` flag.	Emilio Jesus Gallego Arias	2017-07-17
\| * \|	Add timing scripts	Jason Gross	2017-07-11
\| * \|	Fix TIMED=1 on Mac OSX	Jason Gross	2017-07-08
\|/ /
\| *	Makefile: fails if some .vo or .cm* file has no source	Pierre Letouzey	2017-07-05
* \|	Better support for make TIMED=1 on Windows	Jason Gross	2017-06-30
\|/
*	Makefile.build : restore (temporarily?) the anti-cmi-corruption hacks	Pierre Letouzey	2017-06-15
*	Makefile.build : cleanup now that micromega.ml isn't generated + sync check o...	Pierre Letouzey	2017-06-14
*	Merge PR#498: Bignums as a separate opam package	Maxime Dénès	2017-06-14
\|\
* \|	Makefile.build: do not build PLUGINSCMO by default (followup of PR #709)	Pierre Letouzey	2017-06-13
\| *	BigNums: remove files about BigN,BigZ,BigQ (now in an separate git repo)	Pierre Letouzey	2017-06-13
\|/
*	Store plugins/micromega/micromega.{ml,mli} files in the repository. Try to ge...	Matej Košík	2017-06-12
*	Merge PR#709: Bytecode compilation apart from 'make world', again	Maxime Dénès	2017-06-12
\|\
* \|	Put all plugins behind an "API".	Matej Kosik	2017-06-07
* \|	Merge PR#515: extract "plugins/micromega/micromega.ml{,i}" files from "plugin...	Maxime Dénès	2017-06-02
\|\ \
\| \| *	mention 'make world' without 'byte' in CHANGES + 2 minor suggestions	Pierre Letouzey	2017-06-01
\| * \|	a solution that works also with make 3.81	Matej Kosik	2017-06-01
\| * \|	extract "plugins/micromega/micromega.ml{,i}" files from "plugins/micromega/ME...	Matej Kosik	2017-06-01
* \| \|	Makefile.build: test-suite all = run + report, so don't report again	Gaëtan Gilbert	2017-05-31
\|/ /
\| *	Makefile: $(BEST) controls which coqtop is used to build .vo	Pierre Letouzey	2017-05-30
\| *	Makefile: no bytecode compilation in make world, see make byte instead	Pierre Letouzey	2017-05-30
\|/
*	ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mli	Enrico Tassi	2017-05-23
*	[camlpX] Enrico's changes to camlp4 removal.	Emilio Jesus Gallego Arias	2017-04-07
*	[camlpX] Remove camlp4 compat layer.	Emilio Jesus Gallego Arias	2017-04-07
*	[xml] Restore protocol compatibility with 8.6.	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
*	Converting certain "order-only" (Makefile) dependencies to regular dependencies.	Matej Kosik	2016-10-19
*	No more dev/printers.cma	Pierre Letouzey	2016-07-26
*	Makefile.build: minor simplification	Pierre Letouzey	2016-07-26
*	Makefile.build: follow-up of commits by Matej on VERBOSE and READABLE_ML4	Pierre Letouzey	2016-07-12
*	Removing "READABLE_ML4=" from "Makefile.build"	Matej Kosik	2016-07-12
*	Removing "VERBOSE=" from "Makefile.build"	Matej Kosik	2016-07-11
*	Revert "Merge remote-tracking branch 'github/pr/229' into trunk"	Maxime Dénès	2016-07-05