| Commit message (Expand) | Author | Age |
|---|
| * | - 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 |
| * | Petites corrections diverses : | herbelin | 2008-06-02 |
| * | newton iteration for sqrt31 |  thery | 2008-06-02 |
| * | 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-06-01 |
| * | 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 | 2008-05-31 |
| * | Improvements on coqdoc by adding more information into .glob | msozeau | 2008-05-30 |
| * | Improve the dependent induction tactic to automatically find the | msozeau | 2008-05-30 |
| * | - Correction d'un nouveau bug de undo de CoqIDE ("Admitted" et "Proof t" | herbelin | 2008-05-30 |
| * | fixed catch_failerror + improved progress check + fixed repeat (repeat simpl ... | barras | 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 | 2008-05-29 |
| * | fixed bug #1780: a lift was missing (match predicate) | barras | 2008-05-29 |
| * | NBigN: proofs that BigN implements axioms of NAxiomsSig | letouzey | 2008-05-29 |
herbelin
jnarboux
msozeau
letouzey
soubiran
notin
barras
lmamane
jforest
thery