coq - The formal proof system

Age	Commit message (Expand)	Author
2008-06-10	Ajout query Locate dans coqide sur suggestion Arthur C.	herbelin
2008-06-10	- Amélioration nommage dans EqdepFacts suivant remarque de Arthur C.	herbelin
2008-06-10	- Officialisation de la notation "pattern c at -1" (cf wish 1798 sur coq-bugs)	herbelin
2008-06-10	open and save buttons are the default	barras
2008-06-10	- Correct handling of DependentMorphism error, using tclFAIL instead of	msozeau
2008-06-10	2-3 petites modifs sur la doc	notin
2008-06-10	Backtrack sur l'"optimisation" de admit (révision 11084). Comme le	herbelin
2008-06-10	correction d'un bug sur la commande Include.	soubiran
2008-06-10	Fix the number parsing/printing for BigN/BigZ/BigQ	letouzey
2008-06-10	Suppression de la dépendance de Micromega envers Coq.Reals.Reals. Corrige le...	notin
2008-06-10	- Correction bug 1841 (identificateurs incorrects avec Subclass)	herbelin
2008-06-09	- Correction de la version simplifiée (filtrage sur deux sig	herbelin
2008-06-09	Ajout d'un comportement special du sous-typage pour les constantes opaques.	soubiran
2008-06-09	Fix a typo	glondu
2008-06-09	Documentation de "instantiate".	glondu
2008-06-09	Remplacement des echo -e par printf + bug sur les exécutables ocaml dans coq...	notin
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	- Patch sur "intros until 0"	herbelin
2008-06-08	- Extension de "generalize" en "generalize c as id at occs".	herbelin
2008-06-08	enleve les majuscules dans Save All, comem suggéré pas Hugo	jnarboux
2008-06-08	Second pass on typeclasses documentation, fix html rendering.	msozeau
2008-06-07	Correct handling of the environment in build_signature, and throw	msozeau
2008-06-07	Change setoid_rewrite's matching semantics to continue matching inside	msozeau
2008-06-07	Fix library index template and associated script.	msozeau
2008-06-07	add tiny change to coqide	jnarboux
2008-06-06	Enhancements to coqdoc, better globalization of sections and modules.	msozeau
2008-06-06	avoid duplicated creation of WFacts instances	letouzey
2008-06-06	ajout d'un printer pour les contraintes d'univers + correction d'un bug sur l...	soubiran
2008-06-06	2-3 petites modifs pour la compilation sous Windows...	notin
2008-06-06	Copie des .cmi en plus des .cma et des .cmxa	notin
2008-06-06	Correction terminologie et ajout plage unicode 1D400-1D7FF (mathematical	herbelin
2008-06-06	- On adopte finalement la méthode de Pierre Courtieu pour le undo de	herbelin
2008-06-05	Quelques infos pour la portabilité 8.1 --> 8.2	notin
2008-06-05	One (last?) more update of CHANGES.	letouzey
2008-06-05	changed w_coerce_to_type to consider remaining unif problems (Hugo\'s patch)	barras
2008-06-05	Fix typos	lmamane
2008-06-05	Renommage id dans le test Nametab (suite ajout d'une constante de ce	herbelin
2008-06-05	Correctly catch UnresolvableConstraint exception which is now located.	msozeau
2008-06-04	more updates of CHANGES	letouzey
2008-06-03	Fixes incorrect handling of existing existentials variables in	msozeau
2008-06-03	Fix setoid_rewrite documentation examples.	msozeau
2008-06-03	improve name, size and position of detached windows	jnarboux
2008-06-03	Some updates of CHANGES (to be continued...)	letouzey
2008-06-03	try to reduce the size of the queries pane	jnarboux
2008-06-03	Temporarily disabling automatic test for bug 1338.v	notin
2008-06-03	In abstract parts of theories/Numbers, plus/times becomes add/mul,	letouzey