coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fixing the Shrink Obligations option.	Pierre-Marie Pédrot	2015-09-08
*	Merge branch 'v8.5' into trunk	Maxime Dénès	2015-09-06
\|\
* \|	Output a warning when conversion compilation failed.	Maxime Dénès	2015-09-06
\| *	Fix a bug in 31 bit arithmetic, leading to failing conversion tests.	Maxime Dénès	2015-09-06
\| *	Fixed critical bug in 31 bit arithmetic of VM	Catalin Hritcu	2015-09-06
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-09-06
\|\\|
\| *	Adding a Makefile target for the MSets and MMaps directories.	Pierre-Marie Pédrot	2015-09-06
\| *	Update test-suite after 518049fe7.	Maxime Dénès	2015-09-03
\| *	print universes when dumping bytecode.	Gregory Malecha	2015-09-03
\| *	Improve directives for Haskell extraction of nat.	Maxime Dénès	2015-09-03
\| *	Fix [Z.div] and add [Z.modulo] in ExtrHaskellZNum.v	Nickolai Zeldovich	2015-09-03
\| *	Fix [Nat.div] and add [Nat.modulo] in ExtrHaskellNatNum.v	Nickolai Zeldovich	2015-09-03
\| *	Implementing Herbelin's fix for the "NonPar" bug	mlasson	2015-09-03
\| *	Also there's an extra space in the error message.	mlasson	2015-09-03
\| *	Add an if_verbose for "Fetching opaque proofs ..."	mlasson	2015-09-03
\| *	Missing argument "-c" for coqdep in coq_makefile	mlasson	2015-09-03
\| *	STM: save a full state for queries.	Enrico Tassi	2015-09-01
* \|	Switching to an event-based mechanism for CoqIDE preferences.	Pierre-Marie Pédrot	2015-08-31
* \|	Adding a proof of surjective pairing on vectors.	Hugo Herbelin	2015-08-29
* \|	Fixing generation of dev/printers.mllib.d after ocamllibdep is used (48d611ff...	Hugo Herbelin	2015-08-29
* \|	Replacing old-style preferences in CoqIDE.	Pierre-Marie Pédrot	2015-08-26
\| *	Code cleaning in Obligations.	Pierre-Marie Pédrot	2015-08-22
* \|	Documenting the Shrink Abstract option.	Pierre-Marie Pédrot	2015-08-22
* \|	Allowing the abstract tactical to clear the environment from unused variables.	Pierre-Marie Pédrot	2015-08-22
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-08-22
\|\\|
\| *	Fixing #4318 (anomaly when applying args to a recursive notation in patterns).	Hugo Herbelin	2015-08-21
\| *	Removing code duplication in Lemmas.	Pierre-Marie Pédrot	2015-08-19
\| *	Documentation by giving a name to a large type.	Pierre-Marie Pédrot	2015-08-19
\| *	Highlighting of the "Next Obligation" command in CoqIDE.	Pierre-Marie Pédrot	2015-08-17
\| *	windows build scripts made more accurate in detecting failures	Enrico Tassi	2015-08-17
\| *	Remove duplicate code.	Guillaume Melquiond	2015-08-17
\| *	Remove generatable documentation files from repository. (Fix bug #4315)	Guillaume Melquiond	2015-08-17
* \|	Using the new preference mechanism for colors in CoqIDE.	Pierre-Marie Pédrot	2015-08-16
* \|	Taking advantage of the new type of preferences.	Pierre-Marie Pédrot	2015-08-16
* \|	Turning CoqIDE preferences into new style.	Pierre-Marie Pédrot	2015-08-16
* \|	Simplifying CoqIDE preferences mechanism.	Pierre-Marie Pédrot	2015-08-16
\| *	Revert the four previous commits and update the description of Richpp.	Pierre-Marie Pédrot	2015-08-15
\| *	More invariants in Richpp.	Pierre-Marie Pédrot	2015-08-15
\| *	More parametric type for generalized XML.	Pierre-Marie Pédrot	2015-08-15
\| *	Statically ensure that we omit null annotations in Richpp.	Pierre-Marie Pédrot	2015-08-15
\| *	Fixing richpp behaviour w.r.t. its specification.	Pierre-Marie Pédrot	2015-08-15
\| *	report the full module path when reporting errors in coqdep	Gregory Malecha	2015-08-13
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-08-05
\|\\|
\| *	Test file for #4254: Mutual inductives with parameters on Type raises anomaly.	Maxime Dénès	2015-08-03
\| *	Continuing 817308ab (use ltac env for terms in ltac context) + fix	Hugo Herbelin	2015-08-02
\| *	Fixing test apply.v (had wrong option name).	Hugo Herbelin	2015-08-02
\| *	Fixing pop_rel_context.	Hugo Herbelin	2015-08-02
\| *	Reverting 16 last commits, committed mistakenly using the wrong push command.	Hugo Herbelin	2015-08-02
\| *	Hconsing continued	Hugo Herbelin	2015-08-02
\| *	Fixing test apply.v (had wrong option name).	Hugo Herbelin	2015-08-02