| Age | Commit message (Expand) | Author |
|---|
| 2002-10-23 | Ajout de la syntaxe "Theorem f [binders] : t", comme pour Definition et Local | herbelin |
| 2002-10-23 | Omega échouait à effacer les hypothèses à contenu arithmétique lorsque c... | herbelin |
| 2002-10-23 | Le test de redondance d'une règle était trop fort | herbelin |
| 2002-10-23 | Re-déplacement de sum/sumor/sumbool et prod au niveaux 4 et 3 pour | herbelin |
| 2002-10-23 | Re-déplacement de sum/sumor/sumbool et prod au niveaux 4 et 3 pour | herbelin |
| 2002-10-22 | MAJ | herbelin |
| 2002-10-22 | Redéplacement de + (sum) et * (prod) au niveau de + et * de l'arithmétique;... | herbelin |
| 2002-10-22 | Correction d'une incompatibilité de nommage introduite lors du commit précÃ... | herbelin |
| 2002-10-22 | maj | filliatr |
| 2002-10-21 | Ajout d'un suffixe "as [ names ]" pour nommer manuellement les | herbelin |
| 2002-10-21 | Mise en transparence des schémas d'induction bien-fondée sur Set | herbelin |
| 2002-10-21 | NewDestruct/NewInduction acceptent l'option "using" | herbelin |
| 2002-10-21 | Niveau d'affichage sumor/sumbool incohérent avec le parsing | herbelin |
| 2002-10-21 | Prise en compte des délimiteurs dans les motifs de Cases | herbelin |
| 2002-10-21 | Prise en compte des délimiteurs dans les motifs de Cases | herbelin |
| 2002-10-21 | Parenthèses manquantes pour se conformer à la doc (et au nouveau PeanoSynta... | herbelin |
| 2002-10-21 | Bug qui empêchait "0" d'être parenthèsé | herbelin |
| 2002-10-19 | Meilleure lisibilité grâce à tclTHENLIST | herbelin |
| 2002-10-19 | Réparation bug #180 | herbelin |
| 2002-10-19 | Ajout d'infixes | herbelin |
| 2002-10-18 | Et 48, et 80, et 81, et 91, et 95, ... pour accommoder toujours plus de contribs | herbelin |
| 2002-10-17 | Bugs dans la factorisation des règles de parsing de "{ ... } * ..." | herbelin |
| 2002-10-17 | Moins de restriction sur le commit 1.5 | herbelin |
| 2002-10-17 | Parsing des entiers de nat jusqu'Ã 29 pour accommoder certaines contribs | herbelin |
| 2002-10-16 | Réparation du mécanisme des infixes quand ils commencent par une lettre | herbelin |
| 2002-10-16 | Parseur pour n>20 dans nat plus disponible | herbelin |
| 2002-10-16 | maj | filliatr |
| 2002-10-15 | nom de fonction plus simple | barras |
| 2002-10-15 | pattern-matching avec cas inutilise dans closure | barras |
| 2002-10-15 | commit du calcul des dependances un peu plus robuste | barras |
| 2002-10-15 | maj | filliatr |
| 2002-10-14 | MAJ pour NewtonInt | desmettr |
| 2002-10-14 | Integrale de Newton | desmettr |
| 2002-10-14 | *** empty log message *** | desmettr |
| 2002-10-14 | TacCall attend une référence | herbelin |
| 2002-10-14 | L'application de ltac attend une référence; meilleure protection contre | herbelin |
| 2002-10-14 | Réparation bug Inversion (#212) | herbelin |
| 2002-10-14 | Meilleure analyse de si une règle de grammaire/syntaxe existent déjà ou pas | herbelin |
| 2002-10-14 | Ajout optino_iter | herbelin |
| 2002-10-14 | Parenthèses forcées autour des arguments d'une application pour parser | herbelin |
| 2002-10-14 | La règle pour parser "(1)", "(2)", ... entre en conflit avec les expressions | herbelin |
| 2002-10-14 | Ajout "Arguments Scope" pour associer des "scopes" aux arguments d'une | herbelin |
| 2002-10-14 | coqdep bogué, retour sur version 1.75 | herbelin |
| 2002-10-14 | maj | filliatr |
| 2002-10-13 | Bug affichage du chiffre 0 | herbelin |
| 2002-10-13 | MAJ | herbelin |
| 2002-10-13 | Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha... | herbelin |
| 2002-10-13 | Moins de restriction sur le commit précédent | herbelin |
| 2002-10-13 | Ajout map_rawconstr | herbelin |
| 2002-10-13 | Mise en place d'ensembles de notations symboliques pour nat, Z et R | herbelin |
