aboutsummaryrefslogtreecommitdiff
path: root/tools/coqdoc/pretty.mll
AgeCommit message (Expand)Author
2004-04-07A few changes backtracked:sacerdot
2004-04-061. In -html mode the generated files are well-formed XML filessacerdot
2004-03-26MAJ mot-clesherbelin
2004-03-01ocaml 3.07 -> 3.06filliatr
2004-02-27*** empty log message ***filliatr
2004-02-25indexation Record / bug gallina sur := en V8filliatr
2004-02-24coqdocfilliatr