| Age | Commit message (Expand) | Author |
|---|
| 2008-04-13 | Bugs, nettoyage, et améliorations diverses | herbelin |
| 2008-04-12 | Document the new setoid rewrite tactic, and fix a few things while | msozeau |
| 2008-04-03 | Chgts mineurs: | herbelin |
| 2008-04-01 | Add option to set the opacity of obligations to transparent, to be able | msozeau |
| 2008-03-30 | Ajout d'abbréviations/notations paramétriques | herbelin |
| 2008-03-23 | Fix examples in Program documentation and add comindexes for the various | msozeau |
| 2008-03-19 | some references to IntMap forgotten in last commit | letouzey |
| 2008-03-19 | migration of the old IntMap library from StdLib to a user contrib (Cachan/Int... | letouzey |
| 2008-03-10 | Indexation de pose proof, et par la même occasion du nouveau specialize | herbelin |
| 2008-03-07 | f_equal, revert, specialize in ML, contradict in better Ltac (+doc) | letouzey |
| 2008-03-06 | repair for commit 10612 (due to grammar order, some syntaxes weren't working) | letouzey |
| 2008-03-01 | Rework on rich forms of rewrite | letouzey |
| 2008-02-27 | Bug dans la génération de la stdlib | notin |
| 2008-02-14 | Plongement de doc/Makefile dans la nouvelle architecutre des Makefile | notin |
| 2008-02-13 | Suppression de l'option -glob-from de Coqdoc: les globalisations sont | notin |
| 2008-02-09 | Fix the clrewrite tactic, change Relations.v to work on relations in Prop | msozeau |
| 2008-02-08 | Documentation of CHANGES and refman doc for the implicit argument binder | msozeau |
| 2008-02-08 | New "Preterm [ of id ] " command to show the preterm before giving it to | msozeau |
| 2008-02-08 | updates concerning FSets | letouzey |
| 2008-02-06 | - Documentation des nouvelles options d'implicites (Set Strongly Strict | herbelin |
| 2008-02-03 | Add new files theories/Program/Basics.v and theories/Classes/Relations.v | msozeau |
| 2008-02-01 | Unification de TacLetRecIn et TacLetIn. En particulier, on peut | herbelin |
| 2008-01-31 | Debug implementation of dependent induction/dependent destruction and documen... | msozeau |
| 2008-01-31 | Finish let| implementation and document it | msozeau |
| 2008-01-29 | Added full documentation for mathematical mode (draft version) | corbinea |
| 2008-01-07 | Ajout d'une explication dans la FAQ pour le bug avec MOD4 sous Coqide | notin |
| 2008-01-05 | Added a note about the ambiguity of the syntax "qualid" in "tacarg" | herbelin |
| 2008-01-05 | Standardisation du format des références croisées vers Figure, Section, Ch... | herbelin |
| 2007-12-18 | Maj du lien vers coq-bugs dans Coqide. | glondu |
| 2007-12-11 | Modification de la question no 172 de la FAQ (cf bug #1755) | notin |
| 2007-11-28 | Ajout de l'axiomatisation des entiers à la documentation de la librairie sta... | notin |
| 2007-10-24 | Doc update | msozeau |
| 2007-10-16 | Added the doc for the new Scheme Equality command | vsiles |
| 2007-10-08 | documentation of commit 10188 | letouzey |
| 2007-10-03 | Révision de theories/Logic concernant les axiomes de descriptions. | herbelin |
| 2007-10-02 | Fix a problem doing 'make clean' under Winodws | notin |
| 2007-09-25 | Changes in Backtrack documentation. More accurate. | courtieu |
| 2007-09-24 | Added the documentation for Backtrack and BackTo. | courtieu |
| 2007-09-19 | Indication de quel type de constantes est dépliable dans "simpl" (cf | herbelin |
| 2007-09-18 | MAJ date copyright doc | herbelin |
| 2007-09-01 | A word on the measure and wf modifiers | msozeau |
| 2007-08-30 | Mise à jour des paramètres Whelp et ajouts d'options Set Whelp Server | herbelin |
| 2007-08-26 | Add info on measure based defs. | msozeau |
| 2007-08-22 | Save IS NOT the same Defined .... | msozeau |
| 2007-08-20 | Erreur de copier/coller dans la section Guarded | notin |
| 2007-08-13 | Correction du bug #1635 | notin |
| 2007-08-09 | Modification de control_only_guard, qui utilise maintenant | notin |
| 2007-08-08 | A better Program documentation. Include it in the generated stdlib doc. | msozeau |
| 2007-08-07 | Move Program tactics into a proper theories/ directory as they are general pu... | msozeau |
| 2007-07-26 | Corrected the reference to glob.dump, which is used to create stdlib/index-bo... | emakarov |
