coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	On prend des risques en tentant d'optimiser encore plus le undo en cas	herbelin	2008-06-09
*	- Documentation de admit et Print Assumptions.	herbelin	2008-06-09
*	more uniform name of app for windows class	jnarboux	2008-06-09
*	fix toggle item for show hide query pane	jnarboux	2008-06-09
*	add confirmation dialog for printing	jnarboux	2008-06-09
*	enleve les majuscules dans Save All, comem suggéré pas Hugo	jnarboux	2008-06-08
*	- On adopte finalement la méthode de Pierre Courtieu pour le undo de	herbelin	2008-06-06
*	improve name, size and position of detached windows	jnarboux	2008-06-03
*	try to reduce the size of the queries pane	jnarboux	2008-06-03
*	Quelques amendements liées à la compilation des packages.	herbelin	2008-06-01
*	- Correction d'un nouveau bug de undo de CoqIDE ("Admitted" et "Proof t"	herbelin	2008-05-30
*	backtrack sur utilisation de do_overwrite_confirmation	jnarboux	2008-05-29
*	commented out overwrite confirmation handler (requires lablgtk >=2.10)	barras	2008-05-29
*	transparent background	barras	2008-05-29
*	replace the query window of coqide by a pane in main window as suggested by hugo	jnarboux	2008-05-28
*	add option to change modifiers of display menu	jnarboux	2008-05-28
*	Réorganisation fenêtre d'accueil CoqIDE et About; nouvelle image de	herbelin	2008-05-28
*	add support for pdf in coqdoc, add export to pdf in coqide, port open and sav...	jnarboux	2008-05-28
*	- Correction bug highlighting "Module" dans Coqide	herbelin	2008-05-28
*	revert toolbar to previous state: icons style	jnarboux	2008-05-27
*	remove set printing ... and unset printing ... from template menu as they are...	jnarboux	2008-05-26
*	transform the toolbar icons for display of information into a Display menu wi...	jnarboux	2008-05-26
*	Réorganisation des points d'appui du undo de CoqIDE (type reset_info).	herbelin	2008-05-26