| Age | Commit message (Expand) | Author |
|---|
| 2008-07-27 | Add -browser option to configure script | glondu |
| 2008-07-23 | Fixed doc of inductive sort-polymorphism (cf bug #1908). Seized the | herbelin |
| 2008-07-17 | - Suppression de Rstar/Newman peu utilisables comme biblio (encodage | herbelin |
| 2008-07-16 | Quelques modifications autour du filtrage Ltac: | herbelin |
| 2008-07-01 | Documentation Prop<=Set et Arguments Scope Global | herbelin |
| 2008-06-29 | Lissage de la gestion des chemins de chargement de fichiers : | herbelin |
| 2008-06-22 | MAJ fichiers spécifiques trunk | herbelin |
| 2008-06-22 | Rename obligations_tactic to obligation_tactic and fix bugs #1893. | msozeau |
| 2008-06-21 | - Implantation de la suggestion 1873 sur discriminate. Au final, | herbelin |
| 2008-06-11 | MAJ diverses | herbelin |
| 2008-06-09 | Documentation de "instantiate". | glondu |
| 2008-06-09 | - Documentation de admit et Print Assumptions. | herbelin |
| 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 |
