aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)Author
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
2000-11-06nouveau discharge fait par le noyau; plus de recettes dans les corps des cons...filliatr
2000-09-14Minor correction for Ocamlweb + doc updatecoq
2000-07-26dvips -o ==> dvips -o $@coq
2000-06-02docherbelin
1999-12-13documentationfilliatr
1999-11-30mise a jourfilliatr
1999-11-30ocamlwebfilliatr
1999-11-30graphes de dependancesfilliatr
1999-11-19module Pattern, Wcclausenv (interface) et Tacticalsfilliatr
1999-10-22 - répertoire tactics/filliatr
1999-10-20documentation proofsfilliatr
1999-09-28mise en place du toplevel (ne compile pas encore)filliatr
1999-09-19module Declarefilliatr
1999-09-19un effort sur la doc (ocamlweb)filliatr
1999-09-10affichage des erreurs de typage dans minicoqfilliatr
1999-09-07doc minicoq (grammaires)filliatr
1999-08-26environnement surfilliatr
1999-08-20programmation literaire : un fichier de description par repertoirefilliatr
1999-08-19coq.tex engendre automatiquementfilliatr
1999-08-19documentation (prog literaire)filliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 13:00:47 +0000