aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Mise a jourGravatar mohring2000-12-18
* MAJGravatar herbelin2000-12-16
* Redondant or incompatible instantiations in clenv_assign now correctly trappedGravatar herbelin2000-12-16
* *** empty log message ***Gravatar herbelin2000-12-16
* Suppression du warning several default clausesGravatar herbelin2000-12-16
* Prise en compte modules/sections qualifiés dans SearchPattern et SearchRewriteGravatar herbelin2000-12-16
* Le bon choix, c'est finalement identifier = stringGravatar herbelin2000-12-15
* Mise en pageGravatar herbelin2000-12-15
* Mise en place d'un module Ident avec test de l'efficacité quand identifier=s...Gravatar herbelin2000-12-15
* Bug env vis à vis du let inGravatar herbelin2000-12-15
* pb niveauGravatar mayero2000-12-15
* suppression warning et calcule type dans replace_by_meta dans tous les casGravatar filliatr2000-12-15
* mise a jourGravatar filliatr2000-12-15
* - 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-01 22:47:50 +0000