coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
* \| \|	Revert "Merge remote-tracking branch 'github/pr/283' into trunk"	Maxime Dénès	2016-09-22
* \| \|	Merge remote-tracking branch 'github/pr/283' into trunk	Maxime Dénès	2016-09-22
\|\ \ \
* \| \| \|	Merging Stdarg and Constrarg.	Pierre-Marie Pédrot	2016-09-21
\| * \| \|	Stylistic improvements in intf/decl_kinds.mli.	Maxime Dénès	2016-09-20
\|/ / /
\| * \|	Addressing OCaml compilation warnings.	Hugo Herbelin	2016-09-16
* \| \|	Made Ppanotation Ltac-agnostic.	Pierre-Marie Pédrot	2016-09-15
* \| \|	Moving Ltac printers to ltac/ folder.	Pierre-Marie Pédrot	2016-09-15
\| * \|	Fix bug #4940: Tactic notation printing could be more informative.	Pierre-Marie Pédrot	2016-09-09
* \| \|	Unplugging Pptactic from Ppvernac.	Pierre-Marie Pédrot	2016-09-08
* \| \|	Making Vernacexpr independent from Tacexpr.	Pierre-Marie Pédrot	2016-09-08
* \| \|	Merge PR #244.	Pierre-Marie Pédrot	2016-09-08
\|\ \ \
* \ \ \	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-09-02
\|\ \ \ \ \| \| \|/ / \| \|/\| \|
* \| \| \|	CLEANUP: using \|> operator more consistently	Matej Kosik	2016-08-30
\| * \| \|	Fix tagging of notations.	Pierre-Marie Pédrot	2016-08-29
\| * \| \|	Support qualified identifiers in Show Match (bug #5050).	Guillaume Melquiond	2016-08-27
* \| \| \|	CLEANUP: adding "Context.Compacted.Declaration.of_named_decl" function, which...	Matej Kosik	2016-08-26
* \| \| \|	CLEANUP: renaming "Printer.pr_var_decl" function to "Printer.pr_named_decl"	Matej Kosik	2016-08-26
* \| \| \|	CLEANUP: renaming "Context.ListNamed" module to "Context.Compacted"	Matej Kosik	2016-08-26
* \| \| \|	CLEANUP: changing the definition of the "Context.NamedList.Declaration" type	Matej Kosik	2016-08-25
* \| \| \|	CLEANUP: minor readability improvements	Matej Kosik	2016-08-24
* \| \| \|	CLEANUP: removing calls of the "Context.Named.Declaration.to_tuple" function	Matej Kosik	2016-08-24
\|/ / /
\| * \|	Make the user_err header an optional parameter.	Emilio Jesus Gallego Arias	2016-08-19
\| * \|	Remove errorlabstrm in favor of user_err	Emilio Jesus Gallego Arias	2016-08-19
\| * \|	Unify location handling of error functions.	Emilio Jesus Gallego Arias	2016-08-19
\|/ /
* \|	Complementing previous commit on fixes for printing binding patterns.	Hugo Herbelin	2016-07-19
* \|	Some extra fixes in printing patterns in binders.	Hugo Herbelin	2016-07-19
* \|	Taking into account binding patterns when agglutinating sequences of binders.	Hugo Herbelin	2016-07-19
* \|	Fixing missing parentheses in printing of patterns in binders.	Hugo Herbelin	2016-07-19
* \|	primproj: warning and avoid error.	Matthieu Sozeau	2016-07-06
* \|	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey	2016-07-03
* \|	Add and document match, fix and cofix reduction flags.	Maxime Dénès	2016-07-01
* \|	Merge remote-tracking branch 'github/pr/207' into trunk	Maxime Dénès	2016-06-28
\|\ \
* \| \|	Adding ability to put any pattern in binders, prefixed by a quote.	Daniel de Rauglaudre	2016-06-27
\| * \|	Add [Unset Printing Dependent Evars Line]	Jason Gross	2016-06-19
\|/ /
* \|	Moving the typing_flags to the environment.	Pierre-Marie Pédrot	2016-06-18
* \|	Print the type-in-type flag in various user-facing functions.	Pierre-Marie Pédrot	2016-06-18
* \|	Exporting a generic argument induction_arg. As a consequence,	Hugo Herbelin	2016-06-18
* \|	Adding eintros to respect the e- prefix policy.	Hugo Herbelin	2016-06-18
* \|	proof mode: print unification constraints	Matthieu Sozeau	2016-06-16
* \|	Extend Hint Mode to handle the no-head-evar case	Matthieu Sozeau	2016-06-16
* \|	Isolating and exporting a function for printing body of a recursive definition.	Hugo Herbelin	2016-06-16
* \|	Simplification in ppvernac.ml.	Hugo Herbelin	2016-06-16
* \|	Removing unused generalization of pr_vernac over pr_constr and pr_lconstr.	Hugo Herbelin	2016-06-16
* \|	Fixing extra space in printing bullets.	Hugo Herbelin	2016-06-16
* \|	Fixing space in printing <+ and <: + fixing missing Inline keyword.	Hugo Herbelin	2016-06-16
* \|	Fixing printing of Instance.	Hugo Herbelin	2016-06-16
* \|	Fixing extra space in printing abbreviations (SyntaxDefinition).	Hugo Herbelin	2016-06-16
* \|	Fixing printing of Polymorphic/Monomorphic.	Hugo Herbelin	2016-06-16
* \|	Fixing printing of Arguments.	Hugo Herbelin	2016-06-16
* \|	Printing notations as parsed.	Hugo Herbelin	2016-06-16