aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2000-12-06Bug identarg au lieu de qualidargherbelin
2000-12-06section_path etait en fait bonne dans ast et buggee dans printer.mlherbelin
2000-12-06*** empty log message ***mohring
2000-12-062ème bug de traduction des Pathherbelin
2000-12-06Bug de traduction des Pathherbelin
2000-12-06message d'erreurherbelin
2000-12-06MAJherbelin
2000-12-06Extension de la syntaxe de LetTacherbelin
2000-12-06Ajout erreur DoesNotOccurInherbelin
2000-12-06Suppresion de l'option -as, c'est maintenant -R qui devient l'option standard...herbelin
2000-12-06Notion de 'clause_pattern' pour désigner un ensemble d'occurrences dans le b...herbelin
2000-12-06Divers bugs LetTacherbelin
2000-12-06Retrait list_except_assoc qui existe en standard dans ocaml (remove_assoc)herbelin
2000-12-06*** empty log message ***mohring
2000-12-06*** empty log message ***mohring
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 05:53:14 +0000