| Age | Commit message (Expand) | Author |
|---|
| 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-07 | add tiny change to coqide | jnarboux |
| 2008-06-05 | One (last?) more update of CHANGES. | letouzey |
| 2008-06-04 | more updates of CHANGES | letouzey |
| 2008-06-03 | Some updates of CHANGES (to be continued...) | letouzey |
| 2008-06-01 | Intropattern: syntax {x,y,z,t} becomes (x & y & z & t), as decided in | letouzey |
| 2008-05-30 | - Correction d'un nouveau bug de undo de CoqIDE ("Admitted" et "Proof t" | herbelin |
| 2008-05-27 | update changes related to coqide | jnarboux |
| 2008-05-25 | - Nouvelle option "Set Printing Existential Instances" pour forcer | herbelin |
| 2008-05-24 | Ajout de la possibilité d'utiliser fix/cofix dans les notations. | herbelin |
| 2008-05-21 | refined the conversion oracle | barras |
| 2008-05-20 | Léger backtrack sur commit coqide précédent (si la commande à annuler | herbelin |
| 2008-05-13 | - Fix bug related to indices of fixpoints. | msozeau |
| 2008-05-12 | MAJ et bricoles diverses | herbelin |
| 2008-05-11 | - Cleanup parsing of binders, reducing to a single production for all | msozeau |
| 2008-05-09 | Backtrack sur la mise à disposition en standard de la notation [ x ; ... ; y ] | herbelin |
| 2008-05-05 | Mise en place d'un algorithme d'inversion des contraintes de type lors | herbelin |
| 2008-04-30 | Réutilisation de l'infrastructure pour le polymorphisme d'univers des | herbelin |
| 2008-04-29 | Ajout notation [ x ; ... ; y ] dans list_scope. Changement de la | herbelin |
| 2008-04-27 | - Backtrack sur option with_types suite à confusion sur l'utilisation | herbelin |
| 2008-04-26 | - Backtrack sur extension de syntaxe pour pose qui rentre en conflit avec | herbelin |
| 2008-04-26 | Modif un peu gadget (??): on peut écrire "set (f n:=t)" pour | herbelin |
| 2008-04-25 | Ajout de "Theorem id1 : t1 ... with idn : tn" pour partager la preuve | herbelin |
| 2008-04-23 | Change default eauto depth to 100 in setoid_rewrite, bump necessary | msozeau |
| 2008-04-17 | Bug squashing day ! | msozeau |
| 2008-04-15 | Mises à jour bugs, CHANGES, code mort | herbelin |
| 2008-04-15 | Document CHANGES in setoid rewrite, move DefaultRelation to | msozeau |
| 2008-04-15 | - Un peu de doc, préparation du CHANGES pour la release. | herbelin |
| 2008-04-13 | Bugs, nettoyage, et améliorations diverses | herbelin |
| 2008-04-05 | Suite 10760 | herbelin |
| 2008-04-04 | Mise en place d'une extension de apply pour que celui-ci sache | herbelin |
| 2008-04-04 | Quelques améliorations des intro patterns: | herbelin |
| 2008-04-01 | Ajout "simple apply" et "simple eapply" pour apply sans unfold | herbelin |
| 2008-03-30 | Ajout d'abbréviations/notations paramétriques | herbelin |
| 2008-03-25 | Interpret patterns for hypotheses types in match goal in type_scope (if not a | msozeau |
| 2008-03-23 | Une passe sur les réels: | herbelin |
| 2008-03-19 | migration of the old IntMap library from StdLib to a user contrib (Cachan/Int... | letouzey |
| 2008-03-11 | Forget to update the CHANGES file after the commit r10180 | vsiles |
| 2008-03-08 | Fix bugs that were reopened due to the change of setoid | msozeau |
| 2008-03-07 | Fix bug #1704 (ordering of condition goals for (setoid)rewrite). As part | msozeau |
| 2008-02-27 | Application patch #1807 sur hypothèse inutile de Rpower_O | herbelin |
| 2008-02-13 | Essai de prise en compte de delta dans unify_0 (même sur termes non clos). | herbelin |
| 2008-02-08 | Documentation of CHANGES and refman doc for the implicit argument binder | msozeau |
| 2008-02-01 | Suite révision 10495 | herbelin |
| 2008-01-17 | Add new LetPattern construct to replace dest. syntax: let| pat := t in b is b... | msozeau |
| 2007-11-09 | Suite ajout raccourcis à compute et lazy pour réduire tout sauf | herbelin |
| 2007-10-21 | Cleanup attempt of Hints in *Interface.v files. | letouzey |
| 2007-10-03 | Révision de theories/Logic concernant les axiomes de descriptions. | herbelin |
| 2007-10-03 | Ajout de eelim, ecase, edestruct et einduction (expérimental). | herbelin |
