coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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