coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR#379: Introducing evar-insensitive constrs	Maxime Dénès	2017-04-11
\|\
\| *	Merge branch 'master' into econstr	Pierre-Marie Pédrot	2017-04-07
\| \|\
* \| \|	[camlpX] Remove camlp4 compat layer.	Emilio Jesus Gallego Arias	2017-04-07
\| \|/ \|/\|
* \|	Merge PR#530: [toplevel] Remove exception error printer in favor of feedback ...	Maxime Dénès	2017-04-07
\|\ \
* \ \	Merge PR#508: Optimize pending evars	Maxime Dénès	2017-04-06
\|\ \ \
\| \| * \|	[toplevel] Remove exception error printer in favor of feedback printer.	Emilio Jesus Gallego Arias	2017-04-05
\| \|/ / \|/\| \|
* \| \|	Merge PR#502: [pp] Add anomaly header to error messages.	Maxime Dénès	2017-04-04
\|\ \ \
\| \| \| *	Merge branch 'trunk' into pr379	Maxime Dénès	2017-04-04
\| \| \| \|\ \| \|_\|_\|/ \|/\| \| \|
* \| \| \|	Merge branch 'v8.6' into trunk	Maxime Dénès	2017-04-03
* \| \| \|	Merge PR#417: No cast surgery in let in	Maxime Dénès	2017-04-03
\|\ \ \ \
\| \| \| \| *	Using delayed universe instances in EConstr.	Pierre-Marie Pédrot	2017-04-01
\| \| \| \| *	Actually exporting delayed universes in the EConstr implementation.	Pierre-Marie Pédrot	2017-04-01
* \| \| \| \|	Merge PR#511: [stm] Remove some obsolete vernacs/classification.	Maxime Dénès	2017-03-30
\|\ \ \ \ \
\| \| \| \| \| *	Merge branch 'trunk' into pr379	Maxime Dénès	2017-03-24
\| * \| \| \| \|	[stm] Remove some obsolete vernacs/classification.	Emilio Jesus Gallego Arias	2017-03-24
\| \| \|_\|_\|/ \| \|/\| \| \|
* / \| \| \|	[nit] Fix a couple incorrect uses of msg_error.	Emilio Jesus Gallego Arias	2017-03-24
\|/ / / /
\| * \| \|	Replacing "cast surgery" in LetIn by a proper field (see PR #404).	Hugo Herbelin	2017-03-24
\| * \| \|	Unifying standard "constr_level" names for constructors of local_binder_expr.	Hugo Herbelin	2017-03-24
\| * \| \|	Renaming local_binder into local_binder_expr.	Hugo Herbelin	2017-03-24
\| * \| \|	"Standardizing" the name LocalPatten into LocalRawPattern.	Hugo Herbelin	2017-03-24
\|/ / /
\| \| *	Ensuring static invariants about handling of pending evars in Pretyping.	Pierre-Marie Pédrot	2017-03-23
\| \|/ \|/\|
\| *	[pp] Add anomaly header to anomaly error messages.	Emilio Jesus Gallego Arias	2017-03-22
\|/
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-03-22
*	[pp] Remove uses of expensive string_of_ppcmds.	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] [ide] Minor cleanups in pp code.	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] Move terminal-specific tagging to the toplevel.	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] Remove special tag type and handler from Pp.	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] Make feedback the only logging mechanism.	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] Prepare for serialization, remove opaque glue.	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] Replace `Pp.Tag` by `Ppstyle.tag` = `string list`	Emilio Jesus Gallego Arias	2017-03-21
*	Merge PR#479: [future] Remove unused parameter greedy.	Maxime Dénès	2017-03-20
\|\
* \|	Merge PR#412: Remove outdated comment from 2002.	Maxime Dénès	2017-03-14
\| *	[future] Remove unused parameter greedy.	Emilio Jesus Gallego Arias	2017-03-14
\|/
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-02-22
*	Merge PR#189: Remove tabulation support from pretty-printing.	Maxime Dénès	2017-02-20
*	Make Obligations see fix_exn	Enrico Tassi	2017-02-15
*	[stm] Reenable Show Script command.	Emilio Jesus Gallego Arias	2017-02-15
*	[stm] Break stm/toplevel dependency loop.	Emilio Jesus Gallego Arias	2017-02-15