coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Update headers.	Maxime Dénès	2015-01-12
*	CThread: use a different type for thread friendly in_channels	Enrico Tassi	2014-12-17
*	Getting rid of Exninfo hacks.	Pierre-Marie Pédrot	2014-12-16
*	Revert "Fixing bug #3817."	Pierre-Marie Pédrot	2014-12-14
*	Ensuring that ide_slave and stm receive only .v files from CoqIDE.	Hugo Herbelin	2014-12-07
*	Fixing bug #3817.	Pierre-Marie Pédrot	2014-11-24
*	Reworking the -color flag of coqtop.	Pierre-Marie Pédrot	2014-11-15
*	Fixing compilation (name of module Richprinter) I partially feel	Hugo Herbelin	2014-11-06
*	ide/Ide_slave.annotate: Implement annotate.	Regis-Gianas	2014-11-04
*	ide/{ide_slave.ml, interfaces}: Coerce input and output of requests between i...	Regis-Gianas	2014-11-04
*	ide/{Xmlprotocol,Interface,Ide_slave}: New command "annotate".	Regis-Gianas	2014-11-04
*	Fixing order of hypothesis in goal hypotheses compaction for coqtop.	Hugo Herbelin	2014-10-24
*	Pushing Pierre's factorization of names in goal context printing from	Hugo Herbelin	2014-10-22
*	Factored out IDE goal structure.	Carst Tankink	2014-10-01
*	CoqIDE: new message to print AST	Enrico Tassi	2014-09-29
*	Referring to evars by names. Added a parser for evars (but parsing of	Hugo Herbelin	2014-09-12
*	toploop plugins taken into account when printing --help (close: 3535)	Enrico Tassi	2014-09-09
*	Fixup introduction of coqworkmgr	Pierre Boutillier	2014-09-02
*	coqworkmgr	Enrico Tassi	2014-09-02
*	Coqide prints succesive hyps of the same type on 1 line	Pierre Boutillier	2014-09-01
*	all coqide specific files moved into ide/	Enrico Tassi	2014-06-25