coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
* \| \| \| \| \| \| \| \| \|	Merge PR#442: Allow interactive editing of Coq.Init.Logic	Maxime Dénès	2017-03-17
\|\ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \	Merge PR#451: Add η principles for sigma types	Maxime Dénès	2017-03-17
\|\ \ \ \ \ \ \ \ \ \ \
* \| \| \| \| \| \| \| \| \| \| \|	Attempt to improve error message when "apply in" fail.	Hugo Herbelin	2017-03-15
* \| \| \| \| \| \| \| \| \| \| \|	Merge PR#267: Proposal for an update of the recommended style in programming ...	Maxime Dénès	2017-03-15
\|\ \ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| \| \| \| * \| \| \| \|	[safe-string] Enable -safe-string !	Emilio Jesus Gallego Arias	2017-03-14
\| \| \| \| \| \| \| \| * \| \| \| \|	[safe-string] tools	Emilio Jesus Gallego Arias	2017-03-14
\| \| \| \| \| \| \| \| * \| \| \| \|	[safe-string] ide	Emilio Jesus Gallego Arias	2017-03-14
\| \| \| \| \| \| \| \| * \| \| \| \|	[safe-string] plugins/extraction	Emilio Jesus Gallego Arias	2017-03-14
\| \| \| \| \| \| \| \| * \| \| \| \|	[safe-string] ltac/profile_ltac	Emilio Jesus Gallego Arias	2017-03-14
\| \| \| \| \| \| \| \| * \| \| \| \|	[safe_string] toplevel/vernac	Emilio Jesus Gallego Arias	2017-03-14
\| \| \| \| \| \| \| \| * \| \| \| \|	[safe_string] toplevel/coqloop	Emilio Jesus Gallego Arias	2017-03-14
\| \| \| \| \| \| \| \| * \| \| \| \|	[safe-string] parsing/cLexer	Emilio Jesus Gallego Arias	2017-03-14
\| \| \| \| \| \| \| \| * \| \| \| \|	[safe_string] interp/dumpglob	Emilio Jesus Gallego Arias	2017-03-14
\| \| \| \| \| \| \| \| * \| \| \| \|	[safe_string] library/nameops	Emilio Jesus Gallego Arias	2017-03-14
\| \| \| \| \| \| \| \| * \| \| \| \|	[safe_string] kernel/cemitcodes	Emilio Jesus Gallego Arias	2017-03-14
\| \| \| \| \| \| \| \| \| * \| \| \|	[toplevel] Remove unusable option -notop	Emilio Jesus Gallego Arias	2017-03-14
* \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR#444: Simplifying a statement in Hurkens.v + a case study for eauto	Maxime Dénès	2017-03-14
\|\ \ \ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| \| \| * \| \| \| \| \| \|	Report missing tactic arguments in error message	Tej Chajed	2017-03-14
\| \|_\|_\|_\|_\|_\|/ / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| \| * \| \| \| \|	[safe-string] kernel/nativevalues	Emilio Jesus Gallego Arias	2017-03-14
\| \| \| \| \| \| \| \| * \| \| \| \|	[safe_string] kernel/term_typing	Emilio Jesus Gallego Arias	2017-03-14
\| \| \| \| \| \| \| \| * \| \| \| \|	[safe-string] lib/miscelanea	Emilio Jesus Gallego Arias	2017-03-14
\| \| \| \| \| \| \| \| * \| \| \| \|	[safe-string] lib/cUnix	Emilio Jesus Gallego Arias	2017-03-14
\| \| \| \| \| \| \| \| * \| \| \| \|	[safe_string] lib/cThread	Emilio Jesus Gallego Arias	2017-03-14
\| \| \| \| \| \| \| \| \|/ / / /
* \| \| \| \| \| \| \| \| \| \| \|	Merge PR#438: Fix V7 syntax in refman.	Maxime Dénès	2017-03-14
\|\ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \	Merge PR#412: Remove outdated comment from 2002.	Maxime Dénès	2017-03-14
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \| \|_\|_\|_\|_\|_\|_\|_\|_\|/ / / / \|/\| \| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR#432: [cleanup] Change Id.t option to Name.t in TacFun	Maxime Dénès	2017-03-14
\|\ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR#477: [travis] Basic support for overlays.	Maxime Dénès	2017-03-14
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR#473: [ci] Document that sudo: false is slower	Maxime Dénès	2017-03-14
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR#464: [META] More fixes	Maxime Dénès	2017-03-14
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| * \	Merge PR#465: Fix #5132: coq_makefile generates incorrect install goal	Maxime Dénès	2017-03-14
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|\ \
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| * \|	Fix #5132: coq_makefile generates incorrect install goal	Vadim Zaliva	2017-03-14
* \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR#446: Remove a dead exception catching code.	Maxime Dénès	2017-03-14
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| \| \| \| \| \| \| \| \| \| * \| \| \| \|	[future] Remove unused parameter greedy.	Emilio Jesus Gallego Arias	2017-03-14
\| \|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|/ / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| \| \| \| \| \| \| \| * \| \| \|	[library] Refactor state handling.	Emilio Jesus Gallego Arias	2017-03-14
\| \| \| \| \| \| \| \| \| \| \| \| \| \| * \| \| \|	[library] Don't recompute path_prefix on unfreeze.	Emilio Jesus Gallego Arias	2017-03-14
\| \|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|_\|/ / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| * \| \| \| \| \| \| \| \| \| \| \| \|	[travis] Basic support for overlays.	Emilio Jesus Gallego Arias	2017-03-13
\| \|_\|_\|/ / / / / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Remove a dead exception catching code.	Théo Zimmermann	2017-03-13
\|/ / / / / / / / / / / / / / /
* \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR#456: Proposing improvement to the CI targets for local use	Maxime Dénès	2017-03-13
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
* \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Updating core.dbg after ltac moved to plugins directory.	Hugo Herbelin	2017-03-12
\| * \| \| \| \| \| \| \| \| \| \| \| \| \| \|	[travis] Make the git_checkout function more reliable.	Théo Zimmermann	2017-03-10
\| * \| \| \| \| \| \| \| \| \| \| \| \| \| \|	[travis] Adding a template file and using it for all targets.	Théo Zimmermann	2017-03-10
\| * \| \| \| \| \| \| \| \| \| \| \| \| \| \|	[travis] Change headband for wider compatibility.	Théo Zimmermann	2017-03-10
\| * \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Improve build of travis target on local machine.	Théo Zimmermann	2017-03-10
\|/ / / / / / / / / / / / / / /
\| \| * / / / / / / / / / / / /	[ci] Document that sudo: false is slower	Tej Chajed	2017-03-10
\| \|/ / / / / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \| \| \| \| \|	[META] [build] Install dlls to kernel/byterun	Emilio Jesus Gallego Arias	2017-03-10
\| * \| \| \| \| \| \| \| \| \| \| \| \|	[META] Ltac now a plugin.	Emilio Jesus Gallego Arias	2017-03-10
\| * \| \| \| \| \| \| \| \| \| \| \| \|	[META] Update version number.	Emilio Jesus Gallego Arias	2017-03-10
\| \| \| \| \| \| \| \| \| \| \| * \| \|	Merge PR#359: Fix bug 4969, autoapply was not tagging shelved subgoals correc...	Maxime Dénès	2017-03-10
\| \| \| \| \| \| \| \| \| \| \| \|\ \ \
\| \| \| \| \| \| \| \| \| \| \| * \| \| \|	[travis] Move GeoCoq to allow fail.	Emilio Jesus Gallego Arias	2017-03-10
* \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge PR#468: [travis] Fix GeoCoq and move it to allow fail.	Maxime Dénès	2017-03-10
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \