aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* - suppression mind_extract_paramsGravatar filliatr2000-12-15
* MAJGravatar herbelin2000-12-15
* Réparation de bugs de LoadPathGravatar herbelin2000-12-15
* Re-ajout des syntaxes Add LoadPath, Remove LoadPath, etc; ajout entrées 'Set...Gravatar herbelin2000-12-15
* Petite réorganisationGravatar herbelin2000-12-15
* Bug des locaux au premier niveau des modules qui disparaissaient de l'environ...Gravatar herbelin2000-12-15
* Bugs calcul du prédicat des Cases et CaseGravatar herbelin2000-12-15
* Mise a jourGravatar mohring2000-12-15
* PrinterGravatar mohring2000-12-15
* test univers, inductifs et sectionsGravatar filliatr2000-12-15
* MAJGravatar herbelin2000-12-14
* Bug sur commit précédentGravatar herbelin2000-12-14
* Les params d'inductif deviennent en même temps propre à chaque inductif d'u...Gravatar herbelin2000-12-14
* Mauvais env donné à new_isevarGravatar herbelin2000-12-14
* Oubli test de correction à l'instantiation des evarsGravatar herbelin2000-12-14
* Les params d'inductif deviennent en même temps propre à chaque inductif d'u...Gravatar herbelin2000-12-14
* Mise en pageGravatar herbelin2000-12-14
* Amélioration message d'erreurGravatar herbelin2000-12-14
* Évaluation forcée des objets mis dans les streamsGravatar herbelin2000-12-14
* Amélioration message d'erreurGravatar herbelin2000-12-14
* Mise a jourGravatar mohring2000-12-14
* LetIn dans SimplGravatar mohring2000-12-14
* Bug sur commit précédentGravatar herbelin2000-12-14
* Enfin trouvé la cause d'exception; suppression de la capsule de rattrapageGravatar herbelin2000-12-14
* MAJ commentairesGravatar herbelin2000-12-14
* MAJGravatar herbelin2000-12-14
* Fichier de test pour les CasesGravatar herbelin2000-12-14
* Autorisation de parenthèses autour des constructeurs dans le filtrageGravatar herbelin2000-12-14
* Raffinement erreur Wrong PredicateGravatar herbelin2000-12-14
* Bugs prise en compte du prédicat dans le Cases; le prédicat du Cases devien...Gravatar herbelin2000-12-14
* Bug dans les alias de CasesGravatar herbelin2000-12-14
* On force l'évaluation du qualid_of_global qui peut échouer dans le débuggerGravatar herbelin2000-12-14
* Bug Inversion en présence de méta-variablesGravatar herbelin2000-12-13
* conflit useInversionLemmaGravatar mohring2000-12-13
* mise a jourGravatar filliatr2000-12-12
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* *** empty log message ***Gravatar mohring2000-12-12
* Hint Unfold Local + commentairesGravatar mohring2000-12-12
* Ajout de testsGravatar mohring2000-12-12
* petit bug -byte/-opt (execv -> execvp) et message coercion teste is_silentGravatar filliatr2000-12-12
* Reparation Intro sans nom qui ne reduisait pas le but quand celui-ciGravatar mohring2000-12-12
* numarg -> pure_numarg a poursuivreGravatar mohring2000-12-11
* Debut de reparation de simplGravatar mohring2000-12-11
* tests automatiquesGravatar herbelin2000-12-09
* type attribute added to PROD (for ForAll vs Pi rendering)Gravatar sacerdot2000-12-07
* COPYRIGHT file added; some comments changedGravatar sacerdot2000-12-07
* *** empty log message ***Gravatar sacerdot2000-12-06
* Modif rapide pour prise en compte eqTGravatar herbelin2000-12-06
* Prise en compte `?' dans les `` ``Gravatar herbelin2000-12-06
* MAJ nom long de eqGravatar herbelin2000-12-06
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-30 06:21:21 +0000