coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mli	Enrico Tassi	2017-05-23
*	ide/project_fie.ml4: include standard banner with copyright	Enrico Tassi	2017-05-23
*	[ide] Disable `print_ast` call.	Emilio Jesus Gallego Arias	2017-05-18
*	labelizing arguments	Pierre Courtieu	2017-05-04
*	Adding an option "Printing Unfocused".	Pierre Courtieu	2017-05-04
*	Merge PR#582: Fix warnings	Maxime Dénès	2017-05-02
\|\
* \	Merge PR#531: Fixing bug #5420 and many similar bugs due to the presence of l...	Maxime Dénès	2017-04-28
\|\ \
\| \| *	Remove uses of [Flags.make_silent]	Gaetan Gilbert	2017-04-27
\| \| *	Warning 29: non escaped end of line may be non portable	Gaetan Gilbert	2017-04-27
\| \| *	Remove some unused values and types	Gaetan Gilbert	2017-04-27
\| \| *	Use [method!] to override methods (warning 7)	Gaetan Gilbert	2017-04-27
\| \| *	Fix omitted labels in function calls	Gaetan Gilbert	2017-04-27
\| \|/ \|/\|
* \|	Merge PR#565: Remove VernacError	Maxime Dénès	2017-04-24
\|\ \
* \ \	Merge PR#580: [ide] Fix #5482 "location for query commands" in IDE.	Maxime Dénès	2017-04-24
\|\ \ \
\| * \| \|	[ide] Fix #5482 "location for query commands" in IDE.	Emilio Jesus Gallego Arias	2017-04-21
\| \| * \|	Remove VernacError	Gaetan Gilbert	2017-04-21
\| \|/ /
* \| \|	[ide] Set Stateid in query pane.	Emilio Jesus Gallego Arias	2017-04-20
* \| \|	[ide] Rely less on `Stateid.dummy`	Emilio Jesus Gallego Arias	2017-04-19
\|/ /
* \|	Merge PR#441: Port Toplevel to the Stm API	Maxime Dénès	2017-04-12
\|\ \
\| * \|	[vernac] vernacentries.mli cleanup	Emilio Jesus Gallego Arias	2017-04-12
\| * \|	[stm] Port the toplevel to the STM.	Emilio Jesus Gallego Arias	2017-04-12
\| * \|	[stm] Move main parsing entry point to the STM.	Emilio Jesus Gallego Arias	2017-04-12
\| * \|	[stm] Remove edit_id.	Emilio Jesus Gallego Arias	2017-04-12
* \| \|	Merge PR#379: Introducing evar-insensitive constrs	Maxime Dénès	2017-04-11
\|\ \ \
\| \| \| *	Removing internal support for accepting "{struct x}" and co in "Theorem with".	Hugo Herbelin	2017-04-09
\| \| \|/
* \| /	[ide] Correctly place warning tags.	Emilio Jesus Gallego Arias	2017-04-08
\| \|/ \|/\|
\| *	Merge branch 'trunk' into pr379	Maxime Dénès	2017-04-04
\| \|\ \| \|/ \|/\|
* \|	Merge PR#417: No cast surgery in let in	Maxime Dénès	2017-04-03
\|\ \
* \ \	Merge PR#522: [coqide] Protect against size_allocate race in proofview.	Maxime Dénès	2017-03-29
\|\ \ \
* \| \| \|	[ide] Fix typo in pp serialization.	Emilio Jesus Gallego Arias	2017-03-29
\| * \| \|	[coqide] Protect against size_allocate race in proofview.	Emilio Jesus Gallego Arias	2017-03-28
\|/ / /
\| \| *	Merge branch 'trunk' into pr379	Maxime Dénès	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
\| * \|	"Standardizing" the name LocalPatten into LocalRawPattern.	Hugo Herbelin	2017-03-24
\|/ /
* \|	make check not CoqIDE-specific	Paul Steckler	2017-03-22
* \|	[ide protocol] Add comment about leftover parameter.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[pp] Hide the internal representation of `std_ppcmds`.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[pp] Fix bug in richpp Format use.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[xml] Restore protocol compatibility with 8.6.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[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
* \|	[ide] Dynamic printing width.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[ide] richpp clenaup	Emilio Jesus Gallego Arias	2017-03-21
* \|	[pp] Make feedback the only logging mechanism.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[pp] Remove unused printing tagging infrastructure.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[ide] ide_slave doesnt't need to capture stdout	Emilio Jesus Gallego Arias	2017-03-21
* \|	[ide] Use "log via feedback".	Emilio Jesus Gallego Arias	2017-03-21