aboutsummaryrefslogtreecommitdiff
path: root/tools/coqdoc/output.ml
AgeCommit message (Expand)Author
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