aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)Author
2003-11-27Reparation bug compilmohring
2003-11-25modif lexer: ident peut commencer par _barras
2003-11-23MAJsherbelin
2003-11-13moins unaire au niveau 35, tactiques simple_induction et simple_destruct, Loc...barras
2003-11-13factorisation et generalisation des clausesbarras
2003-11-12petits changements de syntaxebarras
2003-11-09'as' avant 'using' dans 'destruct'herbelin
2003-11-05Oubliherbelin
2003-11-05MAJherbelin
2003-11-05MAJherbelin
2003-11-04*** empty log message ***barras
2003-10-22nouvelles priorites + Hintsbarras
2003-10-21*** empty log message ***barras
2003-10-20*** empty log message ***barras
2003-10-16nouvelle syntaxe de ltacbarras
2003-10-16lettac -> setbarras
2003-10-16*** empty log message ***barras
2003-10-11mise a jour nouvelle syntaxebarras
2003-10-03*** empty log message ***barras
2003-09-26About, Infixherbelin
2003-09-22MAJherbelin
2003-09-12Ajout nouvelles commandesherbelin
2003-09-06MAJherbelin
2003-09-02Relachement conflit 'with' dans le cas des Module with Definitionherbelin
2003-08-31Syntaxe des constructeurs et des hypothesesherbelin
2003-08-11MAJherbelin
2003-06-06Added new syntax definitionbarras
2003-02-03release 7.4; changement magic numberfilliatr
2002-12-17exemple complet de parserbarras
2002-12-03MAJ travail moulinetteherbelin
2002-11-26pseudo-parser ocamlyacc de la nouvelle syntaxebarras
2002-11-14Réforme de l'interprétation des termes :herbelin
2002-11-03Moulinetteherbelin
2002-11-03Diversherbelin
2002-10-29Bugsherbelin
2002-10-19Ajout d'infixesherbelin
2002-08-02Modules dans COQ\!\!\!\!coq
2002-05-29Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...herbelin
2002-05-16MAJ V7.3herbelin
2002-04-17Ajout remarques diverses et tactiquesherbelin
2002-04-10package camlindent inutilisebarras
2002-02-04maj newsyntaxbarras
2001-12-21MAJ V7.2herbelin
2001-12-11ajout du document sur la nouvelle syntaxebarras
2001-12-11document sur les propositions de nouvelle syntaxebarras
2001-11-29Mise a jour des dependancesclrenard
2001-11-09MAJ après restructuration kernelherbelin
2001-04-24MAJ de graphes de dependance pour la doc des sourcescoq
2001-04-02mise a jourfilliatr
2001-02-14mise a jourfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:39:45 +0000