aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Uniformisation du nom d'entrée openconstr en le nom du type open_constrGravatar herbelin2004-12-06
* Erreur commit précédentGravatar herbelin2004-12-06
* Garder les cast semble décidément le meilleur moyen de rester synchrone ave...Gravatar herbelin2004-12-06
* Suppression des cast après avoir utiliser l'information de type (Tacinv envo...Gravatar herbelin2004-12-06
* Déplacement de la coercion vis à vis du but au niveau de RefineGravatar herbelin2004-12-06
* Relâchement obligation d'une contrainte de type sur les Hole en position ter...Gravatar herbelin2004-12-06
* Code mortGravatar herbelin2004-12-06
* Déplacement de la coercion vis à vis du but au niveau de Refine suite à ch...Gravatar herbelin2004-12-06
* Réparation bug #888 (les tactiques fix et cofix exigent autant de sous-buts ...Gravatar herbelin2004-12-06
* Ajout bug #888Gravatar herbelin2004-12-06
* Ajout bug #889Gravatar herbelin2004-12-06
* C'est trop compliqué de mettre à jour les types du metamap en passant sous ...Gravatar herbelin2004-12-06
* Inutile de réserver les notations à base de '{ }'Gravatar herbelin2004-12-06
* CommentaireGravatar herbelin2004-12-06
* Généralisation de CastedOpenConstrArg en OpenConstrArg, à charge des tacti...Gravatar herbelin2004-12-06
* MAJ affichage nouvelle syntaxeGravatar herbelin2004-12-06
* CommentaireGravatar herbelin2004-12-06
* Bug (cf #892)Gravatar herbelin2004-12-06
* MAJGravatar herbelin2004-12-05
* MAJ changements ChoiceFactsGravatar herbelin2004-12-05
* MAJGravatar herbelin2004-12-05
* Paramétrisation du domaine des axiomes de choix + ajout description = choice...Gravatar herbelin2004-12-05
* Bug 'set n in * |-'Gravatar herbelin2004-12-04
* Failed in 8.0pl1Gravatar herbelin2004-12-04
* Orthographe!Gravatar herbelin2004-12-03
* Propagation du nom des hyps du prédicat de filtrage pour le message d'erreur...Gravatar herbelin2004-12-03
* Was failing in 8.0pl1Gravatar herbelin2004-12-03
* Amélioration message d'erreur v8Gravatar herbelin2004-12-03
* pp of nested fixpoints (dangling with/for)Gravatar barras2004-12-01
* Export pr_intro_patternGravatar herbelin2004-11-30
* UserError in reduce_to_*_refGravatar herbelin2004-11-29
* Complétion commit précédentGravatar herbelin2004-11-29
* *** empty log message ***Gravatar gregoire2004-11-29
* Correction 1.138 appliquée à tort à la branche principale au lieu de V8-0b...Gravatar herbelin2004-11-29
* Commit précédent erroné; retour version précédenteGravatar herbelin2004-11-29
* Suppression bruit perlGravatar herbelin2004-11-28
* Re-commit version nouvelle syntaxeGravatar herbelin2004-11-28
* MAJ vis à vis de extratacticsGravatar herbelin2004-11-28
* Passage à la v8 pour test parserGravatar herbelin2004-11-28
* Pour ceux qui appelent Makefile avec des fichiers dans des sous-répertoiresGravatar herbelin2004-11-28
* Complétion déclarations coqideGravatar herbelin2004-11-27
* Indépendance vis à vis de Symbols (suite)Gravatar herbelin2004-11-27
* Correction bug #879Gravatar herbelin2004-11-26
* Réduire pour trouver l'arité d'une classeGravatar herbelin2004-11-26
* MAJ PCoFixGravatar herbelin2004-11-26
* backtrack of the last commit (it was my fault: the code is used byGravatar sacerdot2004-11-26
* unused function in the interfaceGravatar sacerdot2004-11-26
* Bug commit 1.71Gravatar herbelin2004-11-22
* Code mortGravatar herbelin2004-11-22
* Correction bug Notation: il faut re-déclarer les règles de parsing des nota...Gravatar herbelin2004-11-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 16:28:35 +0000