| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2008-05-30 | 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-29 | 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-28 | - 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-27 | 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-26 | 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 | transform the toolbar icons for display of information into a Display menu wi... | jnarboux |
| 2008-05-26 | debug subst_command_placeholder : replace %s and not only % | jnarboux |
| 2008-05-26 | Réorganisation des points d'appui du undo de CoqIDE (type reset_info). | herbelin |
| 2008-05-26 | Encore un bug de undo | herbelin |
| 2008-05-26 | Résolution bug #1850 sur notations avec niveaux inconnus de | herbelin |
| 2008-05-26 | Fix bashism in doc generation. | glondu |
| 2008-05-26 | Bug undo CoqIDE sur End | herbelin |
| 2008-05-26 | the -g option is not recongnized in ocaml < 3.10.0 | jforest |
