| Commit message (Expand) | Author | Age |
|---|
| * | 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 |
| * | - Modification de la déf de minus et pred conformément aux remarques de | herbelin | 2008-05-28 |
| * | Notation concise pour la valeur par défaut des cas reconnus comme | herbelin | 2008-05-28 |
| * | Cyclic31: no more Admitted, but I've cheated: sqrt31 and sqrt312 are | letouzey | 2008-05-28 |
| * | CyclicAxioms: after discussion with Laurent, znz_WW and variants are | letouzey | 2008-05-28 |
| * | replace the query window of coqide by a pane in main window as suggested by hugo | jnarboux | 2008-05-28 |
| * | introduced Termops.eq_constr (and constr_cmp) that compares terms up to alpha... | barras | 2008-05-28 |
| * | add option to change modifiers of display menu | jnarboux | 2008-05-28 |
| * | update gtk requirements | jnarboux | 2008-05-28 |
| * | Réorganisation fenêtre d'accueil CoqIDE et About; nouvelle image de | herbelin | 2008-05-28 |
| * | add support for pdf in coqdoc, add export to pdf in coqide, port open and sav... | jnarboux | 2008-05-28 |
| * | debug : case where length of s is < 2... | jnarboux | 2008-05-28 |
| * | - Correction bug highlighting "Module" dans Coqide | herbelin | 2008-05-28 |
| * | Cyclic31: proofs for addmuldiv31, tail031 and head031. Only two Admitted left ! | letouzey | 2008-05-28 |
| * | Cyclic31: proof of auxiliary function iter_int31 + (failed) attempt at provin... | letouzey | 2008-05-27 |
| * | Correction du problème de complexité de Print Assumptions : |  aspiwack | 2008-05-27 |
| * | add install instruction for mandriva | jnarboux | 2008-05-27 |
| * | Cyclic31: migrate auxiliary lemmas to their legitimate files | letouzey | 2008-05-27 |
| * | update changes related to coqide | jnarboux | 2008-05-27 |
| * | Cyclic31 : proof of the spec of gcd31 | letouzey | 2008-05-27 |
| * | revert toolbar to previous state: icons style | jnarboux | 2008-05-27 |
| * | Int31 : gcd31 was wrong | letouzey | 2008-05-26 |
| * | remove set printing ... and unset printing ... from template menu as they are... | jnarboux | 2008-05-26 |
| * | Cyclic31: cleanup, 2 Admitted killed (6 remaining) | letouzey | 2008-05-26 |
jnarboux
letouzey
notin
jforest
herbelin
thery
msozeau
barras
aspiwack