coq - The formal proof system

Age	Commit message (Expand)	Author
2009-03-27	Remove unused mli files	letouzey
2009-03-20	Many changes in the Makefile infrastructure + a beginning of ocamlbuild	letouzey
2009-03-11	Cleanup: remove 3 unused files in ide/	letouzey
2009-03-07	- per session coq command stack	vgross
2009-03-06	fixed groebner as a plugin + pattern matching Timeout	barras
2009-03-04	Temporary hack to make coqide.byte work (backport r11948) (see #2062)	glondu
2009-03-04	fixes to typecheck with old lablgtk.	vgross
2009-03-03	Hack to fix compilation problems. will be removed on lablgtk upgrade.	vgross
2009-03-02	Heavy modifications on the widget and edition tab creation mechanism.	vgross
2009-02-11	Nouvelle icône pour Coq	notin
2009-02-11	Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk	notin
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
2009-01-17	DISCLAIMER	puech
2009-01-06	Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...	notin
2008-12-29	compatibility with lablgtk2 version 2.12	bertot
2008-12-19	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin
2008-12-14	Generalized binding syntax overhaul: only two new binders: `() and `{},	msozeau
2008-12-02	Miscellaneous fixes and improvements:	herbelin
2008-11-09	More factorization of inductive/record and typeclasses: move class	msozeau
2008-11-07	- Ajout possibilité de lancer ocamldebug sur coqide	herbelin
2008-10-28	Native "Declare ML Module" when possible	glondu
2008-10-18	Que Time n'empêche pas la colorisation des mots-clés.	herbelin
2008-10-03	Minor fixes related to coqdoc and --interpolate and the dependent	msozeau
2008-07-28	Show configure choice for browser in CoqIDE preferences	glondu
2008-07-18	- Rebranchement backtrack du langage déclaratif dans Coqide	herbelin
2008-07-10	Bug résiduel du backtrack de coqide se produisant lorsque la limite de	herbelin
2008-07-01	Encore une suite au 11188/11193 (c'était pas un bon jour)	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-10	open and save buttons are the default	barras
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-06-01	Quelques amendements liées à la compilation des packages.	herbelin
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-29	commented out overwrite confirmation handler (requires lablgtk >=2.10)	barras
2008-05-29	transparent background	barras