| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2007-07-25 | Modifications de la construction de la documentation de la librairie | notin |
| 2007-07-19 | Documentation of Program and its tactics, fix enormous interaction bug due to... | msozeau |
| 2007-07-13 | New bootstrapping, improved, Makefile system | corbinea |
| 2007-07-12 | port de r9968: bug avec les ring calculatoires | barras |
| 2007-07-09 | More natural notation for intro pattern: @a -> ?a | glondu |
| 2007-07-07 | If a fixpoint is not written with an explicit { struct ... }, then | letouzey |
| 2007-07-06 | Adding a syntax for "n-ary" rewrite: | letouzey |
| 2007-07-06 | extension of the rename tactic: the following is now allowed: | letouzey |
| 2007-07-06 | New intro pattern "@A", which generates a fresh name based on A. | glondu |
| 2007-07-06 | Documentation related to commit 9948: intropattern {A,B,C} for (A,(B,C)) | letouzey |
| 2007-07-05 | documentation of f_equal and revert and case_eq (and s/lri.fr/pps.jussieu.fr/... | letouzey |
| 2007-06-19 | typo faq | herbelin |
| 2007-06-08 | Removed an extra \tacindex occurrence for the tactic discriminate. | emakarov |
| 2007-06-07 | Ajout doc clear sans argument | herbelin |
| 2007-05-17 | Fixed bug #1540 (typo on name .coqide-gtk2rc) | herbelin |
| 2007-05-16 | - MAJ entêtes des fichiers produits par coq_makefile | herbelin |
| 2007-05-11 | Made some places in the reference manual clearer. Corrected | emakarov |
| 2007-04-29 | Ajout possibilité d'options à trois mots. | herbelin |
| 2007-04-26 | Documentation de Existential et de Show Existential (fixes bug #1294) | notin |
| 2007-04-18 | Fixed some typos. | glondu |
| 2007-04-17 | Corrected a LaTeX typo. | emakarov |
| 2007-04-17 | Changed many refman/*.tex files. Put \label and \index commands that immediat... | emakarov |
| 2007-04-16 | Removed from headers.hva the code to make index point to the section | emakarov |
| 2007-04-12 | Cleaned doc/common/title.tex file. Increased the space under headers | emakarov |
