coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
* \| \|	[location] Remove Loc.ghost.	Emilio Jesus Gallego Arias	2017-04-25
* \| \|	[location] More located use.	Emilio Jesus Gallego Arias	2017-04-24
* \| \|	[location] Switch glob_constr to Loc.located	Emilio Jesus Gallego Arias	2017-04-24
* \| \|	[location] Move Glob_term.predicate_pattern to located.	Emilio Jesus Gallego Arias	2017-04-24
* \| \|	[location] Move Glob_term.cases_pattern to located.	Emilio Jesus Gallego Arias	2017-04-24
* \| \|	[location] Use Loc.located for constr_expr.	Emilio Jesus Gallego Arias	2017-04-24
* \| \|	[constrexpr] Make patterns use Loc.located for location information	Emilio Jesus Gallego Arias	2017-04-24
\|/ /
* \|	Merge PR#441: Port Toplevel to the Stm API	Maxime Dénès	2017-04-12
\|\ \
\| * \|	[flags] Documentation and a minor tweak.	Emilio Jesus Gallego Arias	2017-04-12
\| \| *	Better support for printing constructors with let-ins.	Hugo Herbelin	2017-04-07
\| \| *	Fixing #4499 (not using unnamed record field in {\| \|} notation).	Hugo Herbelin	2017-04-07
* \| \|	Merge branch 'trunk' into pr379	Maxime Dénès	2017-04-04
\|\\| \|
\| * \|	Replacing "cast surgery" in LetIn by a proper field (see PR #404).	Hugo Herbelin	2017-03-24
\| * \|	Using the same type of binders for interning and externing.	Hugo Herbelin	2017-03-24
\| * \|	Unifying standard "constr_level" names for constructors of local_binder_expr.	Hugo Herbelin	2017-03-24
\| * \|	"Standardizing" the name LocalPatten into LocalRawPattern.	Hugo Herbelin	2017-03-24
* \| \|	Namegen primitives now apply on evar constrs.	Pierre-Marie Pédrot	2017-02-14
\|/ /
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-17
\|\\|
\| *	Merge PR #310 into v8.6	Pierre-Marie Pédrot	2016-10-17
\| \|\
* \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-12
\|\\| \|
\| * \|	Fixing a few confusions on the name of the beautify flag.	Hugo Herbelin	2016-10-12
\| \| *	Revert "Make the pretty printer resilient to incomplete nametab (progress on ...	Théo Zimmermann	2016-10-06
* \| \|	Revert "Merge remote-tracking branch 'github/pr/283' into trunk"	Maxime Dénès	2016-09-22
* \| \|	Rename Decl_kinds.binding_kind into Decls_kind.implicit_status.	Maxime Dénès	2016-09-20
* \| \|	Make the user_err header an optional parameter.	Emilio Jesus Gallego Arias	2016-08-19
* \| \|	Unify location handling of error functions.	Emilio Jesus Gallego Arias	2016-08-19
\|/ /
* \|	Some extra fixes in printing patterns in binders.	Hugo Herbelin	2016-07-19
* \|	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey	2016-07-03
* \|	Adding ability to put any pattern in binders, prefixed by a quote.	Daniel de Rauglaudre	2016-06-27
* \|	Being defensive in printing implicit arguments also with manual	Hugo Herbelin	2016-06-16
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-06-09
\|\\|
\| *	Fix bug #4777: Printing time is impacted by large terms that don't print.	Pierre-Marie Pédrot	2016-06-07
* \|	A slight phase of documentation and uniformization of names of	Hugo Herbelin	2016-06-02
* \|	Revert "Being defensive in printing implicit arguments also with manual"	Hugo Herbelin	2016-04-27
* \|	Being defensive in printing implicit arguments also with manual	Hugo Herbelin	2016-04-27
* \|	Merge branch 'trunk-function_scope' of https://github.com/JasonGross/coq into...	Matthieu Sozeau	2016-04-04
\|\ \
* \| \|	Supporting "(@foo) args" in patterns, where "@foo" has no arguments.	Hugo Herbelin	2016-03-13
* \| \|	A more explicit name to the asymmetric boolean flag.	Hugo Herbelin	2016-03-12
* \| \|	merging conflicts with the original "trunk__CLEANUP__Context__2" branch	Matej Kosik	2016-02-15
\|\ \ \
* \ \ \	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-02-13
\|\ \ \ \ \| \| \|_\|/ \| \|/\| \|
\| * \| \|	Do not give a name to anonymous evars anymore. See bug #4547.	Pierre-Marie Pédrot	2016-02-13
\| \| * \|	CLEANUP: Context.{Rel,Named}.Declaration.t	Matej Kosik	2016-02-09
\| \|/ / \|/\| \|
* \| \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\\| \|
\| * \|	Update copyright headers.	Maxime Dénès	2016-01-20
* \| \|	CLEANUP: removing unused field	Matej Kosik	2016-01-11
* \| \|	Remove some unused functions.	Guillaume Melquiond	2016-01-02
* \| \|	CLEANUP: the definition of the "Constrexpr.case_expr" type was simplified	Matej Kosik	2015-12-18
\|/ /
* \|	Fix a bug in externalisation which prevented printing of projections	Matthieu Sozeau	2015-12-02
* \|	Make the pretty printer resilient to incomplete nametab (progress on #4363).	Enrico Tassi	2015-11-26
\| *	Move type_scope into user space, fix some output logs	Jason Gross	2015-08-14
\|/