coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Added "etransitivity".	herbelin	2009-08-03
*	Improved parameterization of Coq:	herbelin	2009-08-02
*	Completing support for F5=About by adding About to the state-preserving comma...	herbelin	2009-07-08
*	Miscellaneous practical commits:	herbelin	2009-06-29
*	remove some unused functions (which are part of a soon-to-be obsolete	vgross	2009-06-22
*	clearing unused functions	vgross	2009-06-22
*	Simplifying the call to print_no_goals and not calling it when no goal	herbelin	2009-06-11
*	Change in UI behaviour : proof folding is now done by double clicking. Delay is	vgross	2009-06-08
*	Partial simplification of undo mechanism, relying only on Courtieu's	herbelin	2009-06-07
*	sane behaviour for copy/paste operations (the code is still insane, though)	vgross	2009-05-27
*	keeping interface synch'ed	vgross	2009-05-27
*	dead code pruning	vgross	2009-05-27
*	minor bugfixes. CoqIde development will resume soon now ...	vgross	2009-05-13
*	Report de la révision #12104 (Maj lien site web de Coq)	notin	2009-04-24
*	Remove unused mli files	letouzey	2009-03-27
*	Many changes in the Makefile infrastructure + a beginning of ocamlbuild	letouzey	2009-03-20
*	Cleanup: remove 3 unused files in ide/	letouzey	2009-03-11
*	- per session coq command stack	vgross	2009-03-07
*	fixed groebner as a plugin + pattern matching Timeout	barras	2009-03-06
*	Temporary hack to make coqide.byte work (backport r11948) (see #2062)	glondu	2009-03-04
*	fixes to typecheck with old lablgtk.	vgross	2009-03-04
*	Hack to fix compilation problems. will be removed on lablgtk upgrade.	vgross	2009-03-03
*	Heavy modifications on the widget and edition tab creation mechanism.	vgross	2009-03-02
*	Nouvelle icône pour Coq	notin	2009-02-11
*	Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk	notin	2009-02-11
*	Suppression de l'ancien logo (problèmes de droits)	notin	2009-01-23
*	Added some missing statements for proof folding and corrected	vgross	2009-01-20
*	Added proof folding into CoqIde. See RefMan for using it.	vgross	2009-01-20
*	DISCLAIMER	puech	2009-01-17
*	Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...	notin	2009-01-06
*	compatibility with lablgtk2 version 2.12	bertot	2008-12-29
*	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin	2008-12-19
*	Generalized binding syntax overhaul: only two new binders: `() and `{},	msozeau	2008-12-14
*	Miscellaneous fixes and improvements:	herbelin	2008-12-02
*	More factorization of inductive/record and typeclasses: move class	msozeau	2008-11-09
*	- Ajout possibilité de lancer ocamldebug sur coqide	herbelin	2008-11-07
*	Native "Declare ML Module" when possible	glondu	2008-10-28
*	Que Time n'empêche pas la colorisation des mots-clés.	herbelin	2008-10-18
*	Minor fixes related to coqdoc and --interpolate and the dependent	msozeau	2008-10-03
*	Show configure choice for browser in CoqIDE preferences	glondu	2008-07-28
*	- Rebranchement backtrack du langage déclaratif dans Coqide	herbelin	2008-07-18
*	Bug résiduel du backtrack de coqide se produisant lorsque la limite de	herbelin	2008-07-10
*	Encore une suite au 11188/11193 (c'était pas un bon jour)	herbelin	2008-07-01
*	Logo Coq dans coqide	notin	2008-06-27
*	CoqIDE: 2 problèmes de undo encore:	herbelin	2008-06-13
*	now Escape toggles query pane	jnarboux	2008-06-11
*	Plutôt que de reposer sur le vernacexpr pour détecter les débuts de	herbelin	2008-06-11
*	escape key now hides pane	jnarboux	2008-06-11
*	Ajout query Locate dans coqide sur suggestion Arthur C.	herbelin	2008-06-10
*	open and save buttons are the default	barras	2008-06-10