aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-12-18Suppression de l'affichage des instances des ?nherbelin
2000-12-18MAJherbelin
2000-12-18Amélioration message d'erreur mauvais prédicatherbelin
2000-12-18Export de it_mkProd_or_LetIn_name et it_mkLambda_or_LetIn_nameherbelin
2000-12-18Debut de nettoyage de Simplmohring
2000-12-18Mise a jourmohring
2000-12-18Mise a jourmohring
2000-12-16MAJherbelin
2000-12-16Redondant or incompatible instantiations in clenv_assign now correctly trappedherbelin
2000-12-16*** empty log message ***herbelin
2000-12-16Suppression du warning several default clausesherbelin
2000-12-16Prise en compte modules/sections qualifiés dans SearchPattern et SearchRewriteherbelin
2000-12-15Le bon choix, c'est finalement identifier = stringherbelin
2000-12-15Mise en pageherbelin
2000-12-15Mise en place d'un module Ident avec test de l'efficacité quand identifier=s...herbelin
2000-12-15Bug env vis à vis du let inherbelin
2000-12-15pb niveaumayero
2000-12-15suppression warning et calcule type dans replace_by_meta dans tous les casfilliatr
2000-12-15mise a jourfilliatr
2000-12-15 - suppression mind_extract_paramsfilliatr
2000-12-15MAJherbelin
2000-12-15Réparation de bugs de LoadPathherbelin
2000-12-15Re-ajout des syntaxes Add LoadPath, Remove LoadPath, etc; ajout entrées 'Set...herbelin
2000-12-15Petite réorganisationherbelin
2000-12-15Bug des locaux au premier niveau des modules qui disparaissaient de l'environ...herbelin
2000-12-15Bugs calcul du prédicat des Cases et Caseherbelin
2000-12-15Mise a jourmohring
2000-12-15Printermohring
2000-12-15test univers, inductifs et sectionsfilliatr
2000-12-14MAJherbelin
2000-12-14Bug sur commit précédentherbelin
2000-12-14Les params d'inductif deviennent en même temps propre à chaque inductif d'u...herbelin
2000-12-14Mauvais env donné à new_isevarherbelin
2000-12-14Oubli test de correction à l'instantiation des evarsherbelin
2000-12-14Les params d'inductif deviennent en même temps propre à chaque inductif d'u...herbelin
2000-12-14Mise en pageherbelin
2000-12-14Amélioration message d'erreurherbelin
2000-12-14Évaluation forcée des objets mis dans les streamsherbelin
2000-12-14Amélioration message d'erreurherbelin
2000-12-14Mise a jourmohring
2000-12-14LetIn dans Simplmohring
2000-12-14Bug sur commit précédentherbelin
2000-12-14Enfin trouvé la cause d'exception; suppression de la capsule de rattrapageherbelin
2000-12-14MAJ commentairesherbelin
2000-12-14MAJherbelin
2000-12-14Fichier de test pour les Casesherbelin
2000-12-14Autorisation de parenthèses autour des constructeurs dans le filtrageherbelin
2000-12-14Raffinement erreur Wrong Predicateherbelin
2000-12-14Bugs prise en compte du prédicat dans le Cases; le prédicat du Cases devien...herbelin
2000-12-14Bug dans les alias de Casesherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-24 20:56:54 +0000