aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-10-23MAJherbelin
2000-10-23Petit nettoyage de Evarutil et Evarconvherbelin
2000-10-21Bug indices dans l'instance d'une evarherbelin
2000-10-21Pb affichage warningherbelin
2000-10-19Nettoyage Coercionherbelin
2000-10-19MAJherbelin
2000-10-19Use UTF-8 as default encoding for computing length of strings in prettymiquel
2000-10-18MAJherbelin
2000-10-18Simplifications autour de typed_type (renommé types par analogie avec sorts)...herbelin
2000-10-18Simplifications autour de typed_type (renommé types par analogie avec sorts)...herbelin
2000-10-18docherbelin
2000-10-18MAJherbelin
2000-10-18Renommage canonique :herbelin
2000-10-18Renommage canonique :herbelin
2000-10-18Changement parser par défaut dans Syntaxherbelin
2000-10-18Parsing des motifs de Syntax avec la grammaire associée à l'univers de la d...herbelin
2000-10-182èmeherbelin
2000-10-18MAJherbelin
2000-10-18Mise en place de parseurs avec globalisation pas seulement dans les quotation...herbelin
2000-10-18Nettoyageherbelin
2000-10-18globalize_command devient globalize_constrherbelin
2000-10-18Correction pb de globalisation dans print_mutualherbelin
2000-10-18MAJherbelin
2000-10-17Pb factorisation de Print Grammarherbelin
2000-10-16MAJherbelin
2000-10-16Changement "command" en "constr" et globalize_command en globalize_constrherbelin
2000-10-16Correction bug affichage des infixherbelin
2000-10-13Suppression du test de convertibilite inutile pour la plupart des exact; 2 ve...herbelin
2000-10-13Code redondantherbelin
2000-10-13Suppression d'un test inutile dans RCastherbelin
2000-10-13Code redondantherbelin
2000-10-13Suppression du test de convertibilite inutile pour la plupart des exact; 2 ve...herbelin
2000-10-13TODOherbelin
2000-10-12Parenthesesherbelin
2000-10-12Hypotheses des ind oubliees dans le dischargeherbelin
2000-10-11Idem pour défs locales dans Varherbelin
2000-10-11MAJherbelin
2000-10-11Nouveau type rec_declarationherbelin
2000-10-11Renommage des find_m*typeherbelin
2000-10-11Suite du précédentherbelin
2000-10-11Delta des défs locales en de Bruijn toujours pas stableherbelin
2000-10-11Ajout push_rec_typesherbelin
2000-10-11Ajout mind_arities_envherbelin
2000-10-11Renommage des find_m*typeherbelin
2000-10-11Prise en compte de l'environnement dans le calcul des implicitesherbelin
2000-10-11Prise en compte de l'environnement dans les tests de bonne fondaisonherbelin
2000-10-11Prise en compte de l'environnement dans les tests de correction des inductifsherbelin
2000-10-11C'était pas le bon env dans build_termherbelin
2000-10-11Niveau d'associativité du letherbelin
2000-10-11Prise en compte de Let à certains endroitsherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-12 00:06:03 +0000