coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Removing OCaml deprecated function names from the Lazy module.	Pierre-Marie Pédrot	2016-03-10
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-03-09
\|\
\| *	Win: kill unreliable hence do not waitpid after kill -9 (Close #4369)	Enrico Tassi	2016-03-09
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-03-05
\|\\|
\| *	Rename Ephemeron -> CEphemeron.	Maxime Dénès	2016-03-04
\| *	Fixing bug #4105: poor escaping in the protocol between CoqIDE and coqtop.	Pierre-Marie Pédrot	2016-03-03
* \|	CLEANUP: Renaming "Util.compose" function to "%"	Matej Kosik	2016-02-17
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-02-13
\|\\|
\| *	Don't fail fatally if PATH is not set.	Emilio Jesus Gallego Arias	2016-02-10
* \|	Adding a "get" primitive to map signature.	Pierre-Marie Pédrot	2016-02-03
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-29
\|\\|
\| *	Restore warnings produced by the interpretation of the command line	Hugo Herbelin	2016-01-22
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\\|
* \|	Stronger invariants on the use of the introduction pattern (pat1,...,patn).	Hugo Herbelin	2016-01-21
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Moving val_cast to Tacinterp.	Pierre-Marie Pédrot	2016-01-17
* \|	Getting rid of the awkward unpack mechanism from Genarg.	Pierre-Marie Pédrot	2016-01-17
* \|	Simplification and type-safety of Pcoq thanks to GADTs in Genarg.	Pierre-Marie Pédrot	2016-01-17
* \|	Exporting Genarg implementation in the API.	Pierre-Marie Pédrot	2016-01-17
* \|	Reimplementing Genarg safely.	Pierre-Marie Pédrot	2016-01-17
* \|	Adding a structure indexed by tags.	Pierre-Marie Pédrot	2016-01-17
* \|	Temporary commit getting rid of Obj.magic unsafety for Genarg.	Pierre-Marie Pédrot	2016-01-17
\| *	Hooks for a third-party XML plugin. Contributed by Claudio Sacerdoti Coen.	Maxime Dénès	2016-01-15
* \|	Removing constr generic argument.	Pierre-Marie Pédrot	2016-01-14
* \|	Removing ident and var generic arguments.	Pierre-Marie Pédrot	2016-01-14
* \|	Merge remote-tracking branch 'origin/v8.5' into trunk	Guillaume Melquiond	2016-01-06
\|\\|
\| *	Protect code against changes in Map interface.	Maxime Dénès	2016-01-06
\| *	Fix order of files in mllib.	Maxime Dénès	2016-01-05
\| *	COMMENTS: Predicate	Matej Kosik	2016-01-05
* \|	Remove some unused functions.	Guillaume Melquiond	2016-01-02
* \|	Remove some useless module opening.	Guillaume Melquiond	2016-01-02
* \|	Avoid warnings about loop indices.	Guillaume Melquiond	2016-01-02
* \|	Fix typos.	Guillaume Melquiond	2016-01-01
* \|	Remove unused hashconsing code.	Guillaume Melquiond	2016-01-01
* \|	Do not make it harder on the compiler optimizer by packing arguments.	Guillaume Melquiond	2016-01-01
* \|	Merge branch 'v8.5' into trunk	Guillaume Melquiond	2015-12-31
\|\\|
* \|	Do not compose List.length with List.filter.	Guillaume Melquiond	2015-12-31
\| *	Do not dump a glob reference when its location is ghost. (Fix bug #4469)	Guillaume Melquiond	2015-12-31
* \|	Removing the special status of open_constr generic argument.	Pierre-Marie Pédrot	2015-12-28
* \|	Finer-grained types for toplevel values.	Pierre-Marie Pédrot	2015-12-21
* \|	Removing ad-hoc interpretation rules for tactic notations and their genarg.	Pierre-Marie Pédrot	2015-12-21
* \|	Sharing toplevel representation for several generic types.	Pierre-Marie Pédrot	2015-12-21
* \|	Removing the now useless genarg generic argument.	Pierre-Marie Pédrot	2015-12-21
* \|	Using dynamic values in tactic evaluation.	Pierre-Marie Pédrot	2015-12-21
* \|	Attaching a dynamic argument to the toplevel type of generic arguments.	Pierre-Marie Pédrot	2015-12-21
* \|	Trust the directory cache in batch mode.	Guillaume Melquiond	2015-12-21
* \|	COMMENTS: added to the "Unicode" module.	Matej Kosik	2015-12-18
* \|	COMMENTS: updated in the "Option" module.	Matej Kosik	2015-12-18
* \|	COMMENTS: added to the "Predicate" module	Matej Kosik	2015-12-18
\| *	spawn: fix leak of file descriptors	Enrico Tassi	2015-12-17