aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* Rétablissement compatibilité des implicites (2ème) (mais amélioration)Gravatar herbelin2000-10-23
* MAJGravatar herbelin2000-10-23
* Import de Infix au RequireGravatar herbelin2000-10-23
* code mortGravatar herbelin2000-10-23
* MAJGravatar herbelin2000-10-23
* L'état implicite des définitions survivant au discharge redevient celui du ...Gravatar herbelin2000-10-23
* module_segment et module_filenameGravatar filliatr2000-10-23
* La réduction du Let s'appelle maintenant zeta comme dans le lambda-mu-calculGravatar herbelin2000-10-23
* Simplifications/questionsGravatar herbelin2000-10-23
* MAJGravatar herbelin2000-10-23
* Petit nettoyage de Evarutil et EvarconvGravatar herbelin2000-10-23
* Bug indices dans l'instance d'une evarGravatar herbelin2000-10-21
* Pb affichage warningGravatar herbelin2000-10-21
* Nettoyage CoercionGravatar herbelin2000-10-19
* MAJGravatar herbelin2000-10-19
* Use UTF-8 as default encoding for computing length of strings in prettyGravatar miquel2000-10-19
* MAJGravatar herbelin2000-10-18
* Simplifications autour de typed_type (renommé types par analogie avec sorts)...Gravatar herbelin2000-10-18
* Simplifications autour de typed_type (renommé types par analogie avec sorts)...Gravatar herbelin2000-10-18
* docGravatar herbelin2000-10-18
* MAJGravatar herbelin2000-10-18
* Renommage canonique :Gravatar herbelin2000-10-18
* Renommage canonique :Gravatar herbelin2000-10-18
* Changement parser par défaut dans SyntaxGravatar herbelin2000-10-18
* Parsing des motifs de Syntax avec la grammaire associée à l'univers de la d...Gravatar herbelin2000-10-18
* 2èmeGravatar herbelin2000-10-18
* MAJGravatar herbelin2000-10-18
* Mise en place de parseurs avec globalisation pas seulement dans les quotation...Gravatar herbelin2000-10-18
* NettoyageGravatar herbelin2000-10-18
* globalize_command devient globalize_constrGravatar herbelin2000-10-18
* Correction pb de globalisation dans print_mutualGravatar herbelin2000-10-18
* MAJGravatar herbelin2000-10-18
* Pb factorisation de Print GrammarGravatar herbelin2000-10-17
* MAJGravatar herbelin2000-10-16
* Changement "command" en "constr" et globalize_command en globalize_constrGravatar herbelin2000-10-16
* Correction bug affichage des infixGravatar herbelin2000-10-16
* Suppression du test de convertibilite inutile pour la plupart des exact; 2 ve...Gravatar herbelin2000-10-13
* Code redondantGravatar herbelin2000-10-13
* Suppression d'un test inutile dans RCastGravatar herbelin2000-10-13
* Code redondantGravatar herbelin2000-10-13
* Suppression du test de convertibilite inutile pour la plupart des exact; 2 ve...Gravatar herbelin2000-10-13
* TODOGravatar herbelin2000-10-13
* ParenthesesGravatar herbelin2000-10-12
* Hypotheses des ind oubliees dans le dischargeGravatar herbelin2000-10-12
* Idem pour défs locales dans VarGravatar herbelin2000-10-11
* MAJGravatar herbelin2000-10-11
* Nouveau type rec_declarationGravatar herbelin2000-10-11
* Renommage des find_m*typeGravatar herbelin2000-10-11
* Suite du précédentGravatar herbelin2000-10-11
* Delta des défs locales en de Bruijn toujours pas stableGravatar herbelin2000-10-11
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-07 19:55:03 +0000