coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	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
*	- 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
*	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
*	revert toolbar to previous state: icons style	jnarboux	2008-05-27
*	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
*	Encore un bug de undo	herbelin	2008-05-26
*	- Nouvelle option "Set Printing Existential Instances" pour forcer	herbelin	2008-05-25
*	- Prise en compte des frozen state de Coq autant que possible pour	herbelin	2008-05-24
*	Désactivation affichage image coqide en attendant un barcelos	herbelin	2008-05-21
*	Correction bugs ide undo et highlight (suite à typos)	herbelin	2008-05-21
*	Léger backtrack sur commit coqide précédent (si la commande à annuler	herbelin	2008-05-20
*	Fixed coqide bug #1856 that was introduced in revision 10915.	herbelin	2008-05-20
*	Amélioration de la colorisation, du backtrack et des messages de CoqIDE	herbelin	2008-05-10
*	Efficacité, bugs, robustesse CoqIDE	herbelin	2008-05-08
*	Correction du bug #1770: il semble que la recherche insensible à la casse ne...	notin	2008-01-10
*	Commit intermédiaire express de réparation de coqide.ml, que j'avais	aspiwack	2007-12-06
*	Factorisation des opérations sur le type option de Util dans un module	aspiwack	2007-12-05
*	Report de la révision #10197 (adaptation à Lablgtk 2.10.0)	notin	2007-10-18
*	Correction d'un bug de l'appel à make via Coqide	notin	2007-10-16
*	Maj du lien vers coq-bugs dans Coqide	notin	2007-10-12
*	Amélioration de l'appel aux outils externes via Coqide	notin	2007-10-09
*	fin des conclusions multiples	corbinea	2007-04-26
*	Add the possibility to change the position of tabs in main window (from r9717).	glondu	2007-04-16
*	Suite commit 9256: autres cas incorrects de prise en compte de @ dans les ident	herbelin	2006-10-28
*	fixed non-bug #1213	barras	2006-10-23
*	Pas d'@ dans les identificateurs (pour F4 and co)	herbelin	2006-10-21
*	Ajout des options Coqide suggérées par Damien Doligez (wish #1053)	notin	2006-10-13
*	Suppression des warnings à la compilation	notin	2006-09-29
*	Declarative Proof Language: main commit	corbinea	2006-09-20
*	Ajout d'une option -with-geoproof à la configuration et à l'exécution	notin	2006-06-09
*	Changement de l'option -where: on vérifie si la variable d'environnement COQ...	notin	2006-06-07