coq - The formal proof system

Age	Commit message (Expand)	Author
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-09-14	removed the double-click / proof hiding association.	vgross
2009-09-14	tags refactoring	vgross
2009-08-14	Tried to make F1 documentation tool working in CoqIDE.	herbelin
2009-06-29	Miscellaneous practical commits:	herbelin
2009-06-11	Simplifying the call to print_no_goals and not calling it when no goal	herbelin
2009-06-08	Change in UI behaviour : proof folding is now done by double clicking. Delay is	vgross
2009-06-07	Partial simplification of undo mechanism, relying only on Courtieu's	herbelin
2009-05-27	sane behaviour for copy/paste operations (the code is still insane, though)	vgross
2009-05-13	minor bugfixes. CoqIde development will resume soon now ...	vgross
2009-04-24	Report de la révision #12104 (Maj lien site web de Coq)	notin
2009-03-07	- per session coq command stack	vgross
2009-03-02	Heavy modifications on the widget and edition tab creation mechanism.	vgross
2009-01-23	Suppression de l'ancien logo (problèmes de droits)	notin
2009-01-20	Added some missing statements for proof folding and corrected	vgross
2009-01-20	Added proof folding into CoqIde. See RefMan for using it.	vgross
2008-12-02	Miscellaneous fixes and improvements:	herbelin
2008-11-07	- Ajout possibilité de lancer ocamldebug sur coqide	herbelin
2008-07-10	Bug résiduel du backtrack de coqide se produisant lorsque la limite de	herbelin
2008-06-27	Logo Coq dans coqide	notin
2008-06-13	CoqIDE: 2 problèmes de undo encore:	herbelin
2008-06-11	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-10	Ajout query Locate dans coqide sur suggestion Arthur C.	herbelin
2008-06-09	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-08	enleve les majuscules dans Save All, comem suggéré pas Hugo	jnarboux
2008-06-06	- On adopte finalement la méthode de Pierre Courtieu pour le undo de	herbelin
2008-06-03	improve name, size and position of detached windows	jnarboux
2008-06-03	try to reduce the size of the queries pane	jnarboux
2008-05-30	- Correction d'un nouveau bug de undo de CoqIDE ("Admitted" et "Proof t"	herbelin
2008-05-29	backtrack sur utilisation de do_overwrite_confirmation	jnarboux
2008-05-28	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-27	revert toolbar to previous state: icons style	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	Encore un bug de undo	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