coq - The formal proof system

Age	Commit message (Expand)	Author
2015-09-20	Rich printing of messages.	Pierre-Marie Pédrot
2015-09-20	Rich printing of goals.	Pierre-Marie Pédrot
2015-07-08	Ide: fix bug #4284 for good	Matthieu Sozeau
2015-07-08	Bug 4284: Tentative bugfix for detyping exception.	Matthieu Sozeau
2015-02-11	Reinstauring backtrace display in CoqIDE.	Pierre-Marie Pédrot
2015-02-06	More efficient Richpp.	Pierre-Marie Pédrot
2015-01-12	Update headers.	Maxime Dénès
2014-12-17	CThread: use a different type for thread friendly in_channels	Enrico Tassi
2014-12-16	Getting rid of Exninfo hacks.	Pierre-Marie Pédrot
2014-12-14	Revert "Fixing bug #3817."	Pierre-Marie Pédrot
2014-12-07	Ensuring that ide_slave and stm receive only .v files from CoqIDE.	Hugo Herbelin
2014-11-24	Fixing bug #3817.	Pierre-Marie Pédrot
2014-11-15	Reworking the -color flag of coqtop.	Pierre-Marie Pédrot
2014-11-06	Fixing compilation (name of module Richprinter) I partially feel	Hugo Herbelin
2014-11-04	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-10-24	Fixing order of hypothesis in goal hypotheses compaction for coqtop.	Hugo Herbelin
2014-10-22	Pushing Pierre's factorization of names in goal context printing from	Hugo Herbelin
2014-10-01	Factored out IDE goal structure.	Carst Tankink
2014-09-29	CoqIDE: new message to print AST	Enrico Tassi
2014-09-12	Referring to evars by names. Added a parser for evars (but parsing of	Hugo Herbelin
2014-09-09	toploop plugins taken into account when printing --help (close: 3535)	Enrico Tassi
2014-09-02	Fixup introduction of coqworkmgr	Pierre Boutillier
2014-09-02	coqworkmgr	Enrico Tassi
2014-09-01	Coqide prints succesive hyps of the same type on 1 line	Pierre Boutillier
2014-06-25	all coqide specific files moved into ide/	Enrico Tassi