coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Getting rid of Exninfo hacks.	Pierre-Marie Pédrot	2014-12-16
*	Revert "Fixing bug #3817."	Pierre-Marie Pédrot	2014-12-14
*	Switch the few remaining iso-latin-1 files to utf8	Pierre Letouzey	2014-12-09
*	Protecting from a List.nth when applying a command, e.g. C-w, on no CoqIDE bu...	Hugo Herbelin	2014-12-07
*	Ensuring that ide_slave and stm receive only .v files from CoqIDE.	Hugo Herbelin	2014-12-07
*	Remove dead code	Enrico Tassi	2014-12-01
*	Feedback: API cleaned up, documented and made user extensible	Enrico Tassi	2014-11-27
*	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/Xmlprotocol: Cosmetics.	Yann Régis-Gianas	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/wg_ProofView: Do not refer to the {Proof} internal module, use {Interface...	Regis-Gianas	2014-11-04
*	ide/{Xmlprotocol,Interface,Ide_slave}: New command "annotate".	Regis-Gianas	2014-11-04
*	Install index_urls.txt in a location where coqide might actually find it.	Guillaume Melquiond	2014-10-24
*	Fixing order of hypothesis in goal hypotheses compaction for coqtop.	Hugo Herbelin	2014-10-24
*	fix parsing of ---- +++++ ***** in CoqIDE	Enrico Tassi	2014-10-23
*	Pushing Pierre's factorization of names in goal context printing from	Hugo Herbelin	2014-10-22
*	CoqIDE: fix parsing of multicharacter bullets	Enrico Tassi	2014-10-22
*	Fix the way lexeme start is computed (Close 3737)	Enrico Tassi	2014-10-22
*	STM: report the (structured) goals as XML	Carst Tankink	2014-10-01
*	Factored out IDE goal structure.	Carst Tankink	2014-10-01
*	CoqIDE: new message to print AST	Enrico Tassi	2014-09-29
*	Remove pointless regex for '""' as the empty string already matches it.	Guillaume Melquiond	2014-09-17
*	Fix highlighting of "Hint Unfold" and "Hint Rewrite".	Guillaume Melquiond	2014-09-17
*	Properly highlight the Export keyword.	Guillaume Melquiond	2014-09-17
*	Fix ambiguous regex in syntax highlighting.	Guillaume Melquiond	2014-09-17
*	Fix broken syntax highlighting for Coq files using "Proof constr".	Guillaume Melquiond	2014-09-17
*	Referring to evars by names. Added a parser for evars (but parsing of	Hugo Herbelin	2014-09-12
*	IDE: escape popup text (close: 3600)	Enrico Tassi	2014-09-09
*	IDE: disable editable text area underline when -debug	Enrico Tassi	2014-09-09
*	toploop plugins taken into account when printing --help (close: 3535)	Enrico Tassi	2014-09-09
*	Add a [Variant] declaration which allows to write non-recursive variant types.	Arnaud Spiwack	2014-09-04
*	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
*	"allows to", like "allowing to", is improper	Jason Gross	2014-08-25
*	Fixing bug #3404.	Pierre-Marie Pédrot	2014-08-24
*	Enabling drag & drop on the source view widgets.	Pierre-Marie Pédrot	2014-08-24
*	Quick fix for avoiding infinitely many respawning and Warning "Coq	Hugo Herbelin	2014-08-12
*	CoqIDE: fixing parsing of bullets and brackets even at end of file.	Hugo Herbelin	2014-08-05
*	Uncountably many bullets (+,-,,++,--,*,+++,...).	Hugo Herbelin	2014-08-05
*	Coqide: check_connection now also checks correct loading of coqide plugin +	Hugo Herbelin	2014-08-05
*	STM: code restructured to reuse task queue for tactics	Enrico Tassi	2014-08-05
*	Coqide: annoying popups with GTK errors only in debug mode	Enrico Tassi	2014-08-05
*	Make MacStore like coqide more	Pierre Boutillier	2014-07-24
*	Ide: Drop argument added by MacOS during .app launch	Pierre Boutillier	2014-07-22
*	the art of forgetting new files during rebase -i	Pierre Boutillier	2014-07-22
*	A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundle	Pierre Boutillier	2014-07-22