coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
\| *	Better heuristic for name generation backward compatibility. We fallback	Pierre-Marie Pédrot	2013-11-30
\| *	Useless instantiation function exported in Evd.	Pierre-Marie Pédrot	2013-11-30
\| *	Tentative fix to recover fresh name generation as it was before	Pierre-Marie Pédrot	2013-11-30
\| *	First stab at documenting Canonical Structures	Enrico Tassi	2013-11-29
\| *	Fixing bug #3169 and avoiding anomaly in bug #2885 (vm_compute not	Hugo Herbelin	2013-11-29
\|/
*	Testsuite: flatten the 'bugs/opened' directory.	xclerc	2013-11-29
*	Testsuite: remove the logic for 'bugs/opened/shouldnotsucceed' (unused)	xclerc	2013-11-28
*	Getting rid of goal-dependency in declarative mode argument evaluation.	Pierre-Marie Pédrot	2013-11-27
*	Fixing abstract tactic by using a dummy name out of a declared proof.	Pierre-Marie Pédrot	2013-11-27
*	Actually adding the grammar entry to handle tactics in terms.	Pierre-Marie Pédrot	2013-11-27
*	Adding the necessary hooks to handle tactics in terms.	Pierre-Marie Pédrot	2013-11-27
*	Adding generic solvers to term holes. For now, no resolution mechanism nor	Pierre-Marie Pédrot	2013-11-27
*	Old message Interp returns the state id so that one can BackTo it	Enrico Tassi	2013-11-27
*	New option --help-XML-protocol to document the XML procol used by -ideslave	Enrico Tassi	2013-11-27
*	First stab at retrocompatible INTERP message	Enrico Tassi	2013-11-27
*	Use my real email address in .mailmap	Enrico Tassi	2013-11-27
*	Reduction: every n iterations a slaves process checks for interruption	Enrico Tassi	2013-11-27
*	STM: restart slave after every proof	Enrico Tassi	2013-11-27
*	CoqIDE: show error message for parsing errors	Enrico Tassi	2013-11-27
*	Adding a generic Int.Map using persistent arrays.	Pierre-Marie Pédrot	2013-11-26
*	Do not use ugly Dyn features in the Quote plugin. Use instead the	Pierre-Marie Pédrot	2013-11-26
*	Remove the Hiddentac module.	Arnaud Spiwack	2013-11-25
*	Factoring: is_section_variable.	Arnaud Spiwack	2013-11-25
*	Tacinterp: fewer use of old-style goals.	Arnaud Spiwack	2013-11-25
*	Typo resulting in bad eta-expansion of destructing let's body.	Hugo Herbelin	2013-11-25
*	Better implementation of summary unfreezing.	Pierre-Marie Pédrot	2013-11-24
*	Adding fold_left / fold_right function to maps.	Pierre-Marie Pédrot	2013-11-24
*	Updating new ftp link to old archives.	Hugo Herbelin	2013-11-24
*	Hardening the reading function of vo files.	Pierre-Marie Pédrot	2013-11-24
*	Slightly more efficient zip function in Closure.	Pierre-Marie Pédrot	2013-11-24
*	Tweaking arity & allocation of some basic functions.	Pierre-Marie Pédrot	2013-11-24
*	Small allocation improvement in Closure.	Pierre-Marie Pédrot	2013-11-23
*	configure: typo in my last commit	Pierre Letouzey	2013-11-23
*	Fixing bug #3165.	Pierre-Marie Pédrot	2013-11-23
*	Remove some occurrences of obsolete operators	Stephane Glondu	2013-11-22
*	configure: improve last fix	Pierre Letouzey	2013-11-22
*	Using hashes in Summary, like the previous commit did with Dyn.	Pierre-Marie Pédrot	2013-11-22
*	Using hashes instead of strings in dynamic tags. In case of collision, an	Pierre-Marie Pédrot	2013-11-22
*	configure: CAML_LD_LIBRARY_PATH is enriched, not overwritten	Pierre Letouzey	2013-11-21
*	configure: fix some issues with last commit	Pierre Letouzey	2013-11-21
*	Fix various \r issues with windows	Jason Gross	2013-11-21
*	Field_theory: nicer notations for constants 0 1 ...	Pierre Letouzey	2013-11-21
*	updated .mailmap	Pierre Letouzey	2013-11-21
*	Add Acc_intro_generator on top of all wf function proof (much much faster exe...	Julien Forest	2013-11-21
*	Adding Acc_intro_generator in order to help computations of Function in parti...	forest	2013-11-20
*	Optimization: in case of empty substitution, merging is trivial.	Pierre-Marie Pédrot	2013-11-19
*	update .mailmap with my email now that I've used it in a commit	Pierre Letouzey	2013-11-19
*	A .mailmap file for a nice git-shorlog display	Pierre Letouzey	2013-11-19
*	A file listing old svn branches and tags	letouzey	2013-11-18
*	Slightly faster version of merging substitutions in TacticMatching.	ppedrot	2013-11-16