| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2008-06-02 | In abstract parts of theories/Numbers, plus/times becomes add/mul, | letouzey |
| 2008-06-02 | Minor bug correction in recdef | jforest |
| 2008-06-02 | Petites corrections diverses : | herbelin |
| 2008-06-02 | newton iteration for sqrt31 | thery |
| 2008-06-01 | Intropattern: syntax {x,y,z,t} becomes (x & y & z & t), as decided in | letouzey |
| 2008-06-01 | remove additional occurrences of +/- forgotten in commit 11030 | letouzey |
| 2008-06-01 | On cesse de demander une valeur pour l'option reals si l'utilisateur | herbelin |
| 2008-06-01 | Bactrack sur +, - dans rewrite qui, redondants avec ->, <-, n'en sont qu'à | herbelin |
| 2008-06-01 | Quelques amendements liées à la compilation des packages. | herbelin |
| 2008-06-01 | BigQ: starting to create and use an interface QSig | letouzey |
| 2008-06-01 | Enhance the BigN and BigZ infrastructure: | letouzey |
| 2008-05-31 | Fix last commit about revision: I'm unsure about the role of "set -e", | letouzey |
| 2008-05-31 | Attempt to avoid killing+recreating the file revision with same content. | letouzey |
