aboutsummaryrefslogtreecommitdiff
path: root/tools/coqdoc/output.ml
AgeCommit message (Expand)Author
2007-02-16Add subtac keywords to coqide and coqdoc, add 'dec' as keyword in subtac Utils.msozeau
2007-02-16Missing keywordmsozeau
2007-02-11Add keywords that were missing, notably for terms.msozeau
2007-01-29Coqdoc patch for Program, fix xlate.ml warning and little subtac fixes.msozeau
2006-10-17Mise en forme des theoriesnotin
2006-05-26Support des modules dans Coqdocnotin
2006-03-28- correction d'un bug dans coqdoc (multi_index)notin
2006-03-08 r8620@thot: notin | 2006-03-08 11:44:16 +0100notin
2006-01-05*** empty log message ***coq
2004-07-16Nouvelle en-têteherbelin
2004-06-29efficacite du lexeurfilliatr
2004-04-07A few changes backtracked:sacerdot
2004-04-061. In -html mode the generated files are well-formed XML filessacerdot
2004-04-06echappement de <, > et & en HTMLfilliatr
2004-03-26Bug <BR>; ajout option raw_comment pas d'affichage de <table>; MAJ mot-clesherbelin
2004-03-15Parametersfilliatr
2004-02-27*** empty log message ***filliatr
2004-02-24coqdocfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 19:21:48 +0000