coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
\| *	[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
\|\
* \	Merge PR #1092: [stm] [doc] Add some documentation to obscure AsyncTaskQueue	Maxime Dénès	2017-11-23
\|\ \
\| * \|	[stm] [doc] Add some documentation to AsyncTaskQueue API	Emilio Jesus Gallego Arias	2017-11-21
* \| \|	[printing] Deprecate all printing functions accessing the global proof.	Emilio Jesus Gallego Arias	2017-11-21
\|/ /
\| *	[stm] Allow delayed constant in interactive mode.	Emilio Jesus Gallego Arias	2017-11-21
\|/
*	Merge PR #6183: [plugins] Prepare plugin API for functional handling of state.	Maxime Dénès	2017-11-20
\|\
* \	Merge PR #6166: Fix regression in treating Defined as defined	Maxime Dénès	2017-11-20
\|\ \
\| \| *	[plugins] Prepare plugin API for functional handling of state.	Emilio Jesus Gallego Arias	2017-11-19
\| \|/ \|/\|
\| *	Fix regression in treating Defined as defined	Tej Chajed	2017-11-15
* \|	[api] Insert miscellaneous API deprecation back to core.	Emilio Jesus Gallego Arias	2017-11-13
\|/
*	[api] Move structures deprecated in the API to the core.	Emilio Jesus Gallego Arias	2017-11-06
*	[api] Deprecate all legacy uses of Name.Id in core.	Emilio Jesus Gallego Arias	2017-11-04
*	Fix FIXME: use OCaml 4.02 generative functors when available.	Gaëtan Gilbert	2017-11-01
*	[stm] Remove state-handling from Futures.	Emilio Jesus Gallego Arias	2017-10-17
*	[stm] Move interpretation state to Vernacentries	Emilio Jesus Gallego Arias	2017-10-17
*	[stm] Remove VtBack from public classification.	Emilio Jesus Gallego Arias	2017-10-17
*	[stm] First step to move interpretation of Undo commands out of the classifier.	Emilio Jesus Gallego Arias	2017-10-17
*	Merge PR #1103: Take Suggest Proof Using outside the kernel.	Maxime Dénès	2017-10-13
\|\
* \|	[stm] [toplevel] Move delicate state initialization to the STM (BZ#5556)	Emilio Jesus Gallego Arias	2017-10-11
\| *	Stm.get_hint_ctx: remove unused Str.split	Gaëtan Gilbert	2017-10-10
\|/
*	[stm] Switch to a functional API	Emilio Jesus Gallego Arias	2017-10-06
*	[stm] [flags] Move document mode flags to the STM.	Emilio Jesus Gallego Arias	2017-10-06
*	Merge PR #1096: [stm] Warn about costly Undo operations in batch mode [BZ#5677]	Maxime Dénès	2017-10-04
\|\
* \	Merge PR #1105: [stm] Remove unused "Proof using" data in `Sync` tags.	Maxime Dénès	2017-10-03
\|\ \
* \ \	Merge PR #1019: Fix BZ#5655 by avoiding the creation of a cleaner thread for ...	Maxime Dénès	2017-10-03
\|\ \ \
* \| \| \|	[vernac] Remove `Qed exporting` syntax.	Emilio Jesus Gallego Arias	2017-09-29
\| \| \| *	[stm] Warn about costly Undo operations in batch mode [BZ#5677]	Emilio Jesus Gallego Arias	2017-09-27
\| \|_\|/ \|/\| \|
\| \| *	[stm] Remove unused "Proof using" data in `Sync` tags.	Emilio Jesus Gallego Arias	2017-09-27
\| \|/ \|/\|
* \|	Remove STM vernaculars.	Maxime Dénès	2017-09-19