aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2004-04-27Correction incapacité à gérer les annotations de type dépendantes pour le...herbelin
2004-04-26majfilliatr
2004-04-25majfilliatr
2004-04-23majfilliatr
2004-04-22majfilliatr
2004-04-21majfilliatr
2004-04-21*** empty log message ***barras
2004-04-21pb install de pcoqbarras
2004-04-20majfilliatr
2004-04-20majfilliatr
2004-04-20amelioration des specs RPMbarras
2004-04-20Amélioration message d'erreur quand échec unificationclrenard
2004-04-20maj annonce depuis la v8beta vers v8narboux
2004-04-19majfilliatr
2004-04-18majfilliatr
2004-04-17Incorrection exportation XMLherbelin
2004-04-17Finalement pas de liste des contributions (cela n'avait été fait que pour l...herbelin
2004-04-17pb facto des Fixpoint + erreur avec -dump-glob et Loadbarras
2004-04-16majfilliatr
2004-04-16Backtrack user contribsherbelin
2004-04-16Nouvelles majsherbelin
2004-04-16Typoherbelin
2004-04-16MAJ setupherbelin
2004-04-15majfilliatr
2004-04-15Bug réaffichage EXTherbelin
2004-04-15MAJherbelin
2004-04-14majfilliatr
2004-04-14MAJherbelin
2004-04-14MAJ numéro magiqueherbelin
2004-04-14Ajout exemple Brunoherbelin
2004-04-13majfilliatr
2004-04-13Ajout codingherbelin
2004-04-13Passage a la version 1.3 sous GPL des outils okey et configwin de cameleon en...herbelin
2004-04-13Suppression documentation option raw-comments qui est vraiment trop ad hoc po...herbelin
2004-04-13Correction confusion entre la dependance en les termes filtrees dans l'annota...herbelin
2004-04-12majfilliatr
2004-04-11majfilliatr
2004-04-09majfilliatr
2004-04-08majfilliatr
2004-04-08Chgt role 2eme argument AList et implantation affichage motifs recursifs de n...herbelin
2004-04-08Incoherence bytecamlc et camlc si echec a trouver ocamlc.opt avec option -opt...herbelin
2004-04-07Copyright notice of files in contrib/xml made uniform.sacerdot
2004-04-07majfilliatr
2004-04-07majfilliatr
2004-04-07Old file. The new version of this script is no longer distributed withsacerdot
2004-04-07- theoryobject.dtd is the DTD for .theory filessacerdot
2004-04-07Loic code to pretty-print the generated proof-tree debranched (since itsacerdot
2004-04-07preparation a la release 8.0barras
2004-04-07*** empty log message ***barras
2004-04-07bug #606: mis un message d'erreur plus clairbarras
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-21 15:52:06 +0000