| Commit message (Expand) | Author | Age |
* | - 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-10 |
* | - 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-09 |
* | - 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-08 |
* | 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-07 |
* | 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-06 |
* | 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-05 |
* | more updates of CHANGES | letouzey | 2008-06-04 |
* | 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 | 2008-06-03 |
* | In abstract parts of theories/Numbers, plus/times becomes add/mul, | letouzey | 2008-06-02 |
* | Minor bug correction in recdef | jforest | 2008-06-02 |