aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2000-12-14On force l'évaluation du qualid_of_global qui peut échouer dans le débuggerherbelin
2000-12-13Bug Inversion en présence de méta-variablesherbelin
2000-12-13conflit useInversionLemmamohring
2000-12-12mise a jourfilliatr
2000-12-12syntaxe AST Inversion + commentaires ocamlweb autour de $filliatr
2000-12-12*** empty log message ***mohring
2000-12-12Hint Unfold Local + commentairesmohring
2000-12-12Ajout de testsmohring
2000-12-12petit bug -byte/-opt (execv -> execvp) et message coercion teste is_silentfilliatr
2000-12-12Reparation Intro sans nom qui ne reduisait pas le but quand celui-cimohring
2000-12-11numarg -> pure_numarg a poursuivremohring
2000-12-11Debut de reparation de simplmohring
2000-12-09tests automatiquesherbelin
2000-12-07type attribute added to PROD (for ForAll vs Pi rendering)sacerdot
2000-12-07COPYRIGHT file added; some comments changedsacerdot
2000-12-06*** empty log message ***sacerdot
2000-12-06Modif rapide pour prise en compte eqTherbelin
2000-12-06Prise en compte `?' dans les `` ``herbelin
2000-12-06MAJ nom long de eqherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-27 09:41:21 +0000