aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2004-01-13Reference obsolete au niveau 200 de patternherbelin
2004-01-13majfilliatr
2004-01-12Set is not always impredicativebarras
2004-01-12majfilliatr
2004-01-10majfilliatr
2004-01-10majfilliatr
2004-01-09bugs avec Pose et Assertbarras
2004-01-09Commentaires en v8herbelin
2004-01-09Retrait de la notation '^' pour 'power' en V7 car sinon confusion avec la syn...herbelin
2004-01-09majfilliatr
2004-01-08Finalisation du mecanisme de creation du rpm coqideherbelin
2004-01-08Ajout cible install-ideherbelin
2004-01-08majfilliatr
2004-01-07Vieille syntaxeherbelin
2004-01-07Cible redondante qui trouble les make non linuxherbelin
2004-01-07majfilliatr
2004-01-06Version 1 pour coqideherbelin
2004-01-06pas ideherbelin
2004-01-06MAJ rpmherbelin
2004-01-06MAJherbelin
2004-01-06MAJherbelin
2004-01-06majfilliatr
2004-01-05Defaut d'information affichage en cas de notation incompatibleherbelin
2004-01-05certains id n'etaient pas renommes pour eviter les conflits avec les mots-clesbarras
2004-01-05majfilliatr
2004-01-03majfilliatr
2004-01-03majfilliatr
2004-01-02meilleure presentation des commentaires du traducteurbarras
2004-01-02majfilliatr
2004-01-01[ -d ... ] au lieu de [ -f ... ] sur commit précédéntherbelin
2004-01-01majfilliatr
2003-12-31*** empty log message ***barras
2003-12-31majfilliatr
2003-12-30option -strict-implicit pas reconnuebarras
2003-12-30ameliorations coqidecoq
2003-12-30majfilliatr
2003-12-29majfilliatr
2003-12-28MAJ 8.0herbelin
2003-12-27Protection contre l'echec des tests parser pour la distribherbelin
2003-12-27Suppression en v8herbelin
2003-12-27MAJherbelin
2003-12-27Type le 'return' comme un typeherbelin
2003-12-27majfilliatr
2003-12-26majfilliatr
2003-12-25majfilliatr
2003-12-24BUGherbelin
2003-12-24*** empty log message ***barras
2003-12-24Parenthesage du terme pour accepter 'of' comme non identherbelin
2003-12-24*** empty log message ***barras
2003-12-24*** empty log message ***barras
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-22 21:45:53 +0000