aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/coq-tex.ml4
Commit message (Expand)AuthorAge
* option -n de coq-texGravatar marche2003-12-12
* Modif de coq-tex - meilleur affichage des suite de coq_example'sGravatar coq2003-05-13
* backslahs foireuxGravatar filliatr2002-10-01
* Un peu plus de flexibilité pour la position du '.' finalGravatar herbelin2002-09-16
* reparation du make depend et du .dependGravatar letouzey2001-12-19