coq - The formal proof system

Age	Commit message (Expand)	Author
2008-05-26	Encore un bug de undo	herbelin
2008-05-26	Bug undo CoqIDE sur End	herbelin
2008-05-25	- Nouvelle option "Set Printing Existential Instances" pour forcer	herbelin
2008-05-24	- Prise en compte des frozen state de Coq autant que possible pour	herbelin
2008-05-21	Désactivation affichage image coqide en attendant un barcelos	herbelin
2008-05-21	Correction bugs ide undo et highlight (suite à typos)	herbelin
2008-05-20	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-11	- Changement du code de Zplus pour accomoder ring qui sinon prend une	herbelin
2008-05-10	Correction bug #1842 + correction bug initialisation introduit dans	herbelin
2008-05-10	Amélioration de la colorisation, du backtrack et des messages de CoqIDE	herbelin
2008-05-08	Efficacité, bugs, robustesse CoqIDE	herbelin
2008-04-25	Ajout de "Theorem id1 : t1 ... with idn : tn" pour partager la preuve	herbelin
2008-03-30	Modifications diverses et variées :	herbelin
2008-03-23	CoqIDE default font set to monospace so as indentation to be meaningful	herbelin
2008-03-04	Branchement de l'auto-save de coqide par défaut	herbelin
2008-01-10	Correction du bug #1770: il semble que la recherche insensible à la casse ne...	notin
2007-12-13	migration of ide/utf8.v to theories/Unicode/Utf8.v	letouzey
2007-12-06	Plus de combinateurs sont passés de Util à Option. Le module Options	aspiwack
2007-12-06	Commit intermédiaire express de réparation de coqide.ml, que j'avais	aspiwack
2007-12-05	Factorisation des opérations sur le type option de Util dans un module	aspiwack
2007-10-18	Report de la révision #10197 (adaptation à Lablgtk 2.10.0)	notin
2007-10-16	add visibility of extraction messages in coqide	letouzey
2007-10-16	Correction d'un bug de l'appel à make via Coqide	notin
2007-10-12	Maj du lien vers coq-bugs dans Coqide	notin
2007-10-09	Amélioration de l'appel aux outils externes via Coqide	notin
2007-10-04	Bug 1716: Scheme now print the right messages	vsiles
2007-09-04	fixed icons	barras
2007-04-26	fin des conclusions multiples	corbinea
2007-04-25	New keyword "Inline" for Parameters and Axioms for automatic	soubiran
2007-04-16	Add the possibility to change the position of tabs in main window (from r9717).	glondu
2007-04-16	Fix a bug which sometimes made coqide crash after changing	glondu
2007-02-16	Add subtac keywords to coqide and coqdoc, add 'dec' as keyword in subtac Utils.	msozeau
2007-01-31	redirection of errors in coqide + dynamic warning printer (needed for tm_egg)	corbinea
2007-01-25	decl mode: anonymous facts	corbinea
2007-01-12	addition du neq unicode	letouzey
2006-11-07	Changement des modifeurs par défaut dans CoqIDE (problème de compatibilité...	notin
2006-10-28	Suite commit 9256: autres cas incorrects de prise en compte de @ dans les ident	herbelin
2006-10-23	fixed same_file (#1141)	barras
2006-10-23	fixed non-bug #1213	barras
2006-10-21	Pas d'@ dans les identificateurs (pour F4 and co)	herbelin
2006-10-19	coqide: affichage des sous-buts et hypothèses et métas comme types de	herbelin
2006-10-13	Ajout des options Coqide suggérées par Damien Doligez (wish #1053)	notin
2006-09-29	Suppression des warnings à la compilation	notin
2006-09-20	Declarative Proof Language: main commit	corbinea
2006-09-01	Suite commit 9110 (uniformisation position notation dans les blocs inductifs)	herbelin
2006-07-28	Modifications dans les scripts de configuration (coqtop et coqide affichent m...	notin
2006-07-06	Remplacement VernacDebug par VernacSetOption (suite)	herbelin
2006-06-09	Ajout d'une option -with-geoproof à la configuration et à l'exécution	notin
2006-06-08	Correction du bug #728(1086) (ordre de sauvegarde des tactiques dans coqide)	notin