coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	A bit of cleaning around name generation + creation of dedicated file namegen.ml	herbelin	2009-11-09
*	Removed 'Toplevel' language from extraction documentation, since it is not cu...	gmelquio	2009-11-04
*	Added Coqide highlighting for extraction vernacular.	gmelquio	2009-10-30
*	Removed 'dest' from keyword highlighting.	gmelquio	2009-10-30
*	Integrate a few improvements on typeclasses and Program from the equations br...	msozeau	2009-10-28
*	Add a new vernacular command for controling implicit generalization of	msozeau	2009-10-27
*	Added syntactic coloration for 'Function'.	gmelquio	2009-10-20
*	note for later : when the tag table is shared, never, ever create two	vgross	2009-10-16
*	Revert "kills the old backtracking framework and replaces it with"	vgross	2009-10-05
*	Removal of trailing spaces.	serpyc	2009-10-04
*	kills the old backtracking framework and replaces it with	vgross	2009-09-29
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	removed the double-click / proof hiding association.	vgross	2009-09-14
*	tags refactoring	vgross	2009-09-14
*	Ajout de la gestion de Local et Global pour les options (au sens de	aspiwack	2009-08-14
*	Tried to make F1 documentation tool working in CoqIDE.	herbelin	2009-08-14
*	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