aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2004-01-16Corrige: Intros [] etait traduit intros (), qui ne reparse pasbarras
2004-01-16majfilliatr
2004-01-15translation to structures now okay for pattern matching constructsbertot
2004-01-15Ajout nouvelles optionsherbelin
2004-01-15Ajout load-vernac-source-verboseherbelin
2004-01-15majfilliatr
2004-01-15majfilliatr
2004-01-14compact nested universal quantifications into a single quantification withbertot
2004-01-14make sure the parser for FORMULA does not require them to be enclosed inbertot
2004-01-14Now, the grammar extension from .v files are concentrated in just a fewbertot
2004-01-14make libraries, lexing of more utf8 symbolsmarche
2004-01-14majfilliatr
2004-01-13MAJherbelin
2004-01-13Reflet dans l'arbre de syntaxe de la difference syntaxique entre 'Variables a...herbelin
2004-01-13Suppression de Rsyntax en v8herbelin
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 02:35:49 +0000