coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Evar maps contain econstrs.	Gaëtan Gilbert	2018-04-13
*	[warnings] Remove `set_current_loc` hack.	Emilio Jesus Gallego Arias	2018-04-11
*	Merge PR #7139: [stm] More cleanup of "classification is not an interpreter"	Enrico Tassi	2018-04-05
\|\
* \	Merge PR #7138: [stm] Move VernacBacktrack to the toplevel.	Enrico Tassi	2018-04-04
\|\ \
* \ \	Merge PR #7132: [doc] Add some more documentation to STM API.	Enrico Tassi	2018-04-01
\|\ \ \
\| \| \| *	[stm] More cleanup of "classification is not an interpreter"	Emilio Jesus Gallego Arias	2018-04-01
\| \| \|/
\| \| *	[stm] Move VernacBacktrack to the toplevel.	Emilio Jesus Gallego Arias	2018-04-01
\| * \|	[doc] Add some more documentation to STM API.	Emilio Jesus Gallego Arias	2018-03-31
\| \|/
* /	Remove deprecated commands Arguments Scope and Implicit Arguments	Jasper Hugunin	2018-03-30
\|/
*	stm: don't propagate side effects when editing a proof	Enrico Tassi	2018-03-27
*	Merge PR #6970: [vernac] Move `Quit` and `Drop` to the toplevel layer.	Enrico Tassi	2018-03-26
\|\
\| *	[vernac] Move `Quit` and `Drop` to the toplevel layer.	Emilio Jesus Gallego Arias	2018-03-11
* \|	[stm] Never consider `Backtrack` as part of the script.	Emilio Jesus Gallego Arias	2018-03-11
\|/
*	[located] Push inner locations in `reference` to a CAst.t node.	Emilio Jesus Gallego Arias	2018-03-09
*	[located] More work towards using CAst.t	Emilio Jesus Gallego Arias	2018-03-09
*	Implement the Export Set/Unset feature.	Pierre-Marie Pédrot	2018-03-09
*	Deprecate UState aliases in Evd.	Gaëtan Gilbert	2018-03-06
*	Merge PR #6855: Update headers following #6543.	Maxime Dénès	2018-03-05
\|\
* \|	[stm] Partial fix for bug #6884 [location missing from replay nodes]	Emilio Jesus Gallego Arias	2018-03-02
\| *	Update headers following #6543.	Théo Zimmermann	2018-02-27
\|/
*	[ast] Improve precision of Ast location recognition in serialization.	Emilio Jesus Gallego Arias	2018-02-22
*	[toplevel] Make toplevel state into a record.	Emilio Jesus Gallego Arias	2018-02-15
*	Merge PR #6693: [toplevel] Refactor command line argument handling.	Maxime Dénès	2018-02-13
\|\
* \|	[error] Replace msg_error by a proper exception.	Emilio Jesus Gallego Arias	2018-02-09
\| *	[toplevel] Refactor command line argument handling.	Emilio Jesus Gallego Arias	2018-02-09
\|/
*	Merge PR #6671: [stm] [toplevel] Make loadpath a parameter of the document.	Maxime Dénès	2018-02-06
\|\
* \	Merge PR #6653: [vernac] Remove VernacGoal, allow anonymous definitions in Ve...	Maxime Dénès	2018-02-05
\|\ \
\| \| *	[stm] [toplevel] Make loadpath a parameter of the document.	Emilio Jesus Gallego Arias	2018-02-05
\| \|/ \|/\|
\| *	[vernac] Mutual theorems (VernacStartTheoremProof) always have names	Vincent Laporte	2018-02-01
\| *	[vernac] Remove VernacGoal, allow anonymous definitions in VernacDefinition	Vincent Laporte	2018-02-01
* \|	[stm] Move options to a per-document record.	Emilio Jesus Gallego Arias	2018-01-31
\|/
*	Merge PR #6499: [vernac] Move the flags/attributes out of vernac_expr	Maxime Dénès	2018-01-16
\|\
\| *	[vernac] vernac_expr no longer recursive	Vincent Laporte	2018-01-08
* \|	Fix mli-doc issue #6531	Tony Beta Lambda	2018-01-01
\|/
*	[flags] Move global time flag into an attribute.	Emilio Jesus Gallego Arias	2017-12-23
*	Merge PR #6318: Separate vernac controls and regular commands.	Maxime Dénès	2017-12-22
\|\
\| *	Separate vernac controls and regular commands.	Maxime Dénès	2017-12-20
* \|	[stm] [ide protocol] Allow to include several commands on query.	Emilio Jesus Gallego Arias	2017-12-16
\|/
*	Merge PR #1108: [stm] Reorganize flags	Maxime Dénès	2017-12-13
\|\
* \	Merge PR #6275: [summary] Allow typed projections from global state.	Maxime Dénès	2017-12-12
\|\ \
\| \| *	[flags] [stm] Reorganize flags.	Emilio Jesus Gallego Arias	2017-12-11
\| \| *	[stm] Move process_id to Spawned.	Emilio Jesus Gallego Arias	2017-12-11
\| \|/ \|/\|
* \|	[stm] Remove all but one use of VtUnknown.	Emilio Jesus Gallego Arias	2017-12-09
\| *	[summary] Adapt STM to the new Summary API.	Emilio Jesus Gallego Arias	2017-12-09
\|/
*	Proper nametab handling of global universe names	Matthieu Sozeau	2017-12-01
*	Merge PR #6233: [proof] [api] Rename proof types in preparation for functiona...	Maxime Dénès	2017-12-01
\|\
* \|	Remove "obsolete_locality" and fix STM vernac classification.	Maxime Dénès	2017-11-29
\| *	[proof] [api] Rename proof types in preparation for functionalization.	Emilio Jesus Gallego Arias	2017-11-29
\|/
*	[vernac] Adjust `interp` to pass polymorphic in the attributes.	Emilio Jesus Gallego Arias	2017-11-27
*	Merge PR #6207: [stm] Allow delayed constant in interactive mode.	Maxime Dénès	2017-11-27
\|\