coq/doc/Makefile, branch master

Plongement de doc/Makefile dans la nouvelle architecutre des Makefile

2008-02-14T18:30:40+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10570 85f007b7-540e-0410-9357-904b9bb8a0f7

Suppression de l'option -glob-from de Coqdoc: les globalisations sont

2008-02-13T14:23:23+00:00

lues directement des fichiers .glob



git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10559 85f007b7-540e-0410-9357-904b9bb8a0f7

Added full documentation for mathematical mode (draft version)

2008-01-29T16:51:14+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10479 85f007b7-540e-0410-9357-904b9bb8a0f7

Ajout de l'axiomatisation des entiers à la documentation de la librairie standard

2007-11-28T18:07:28+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10343 85f007b7-540e-0410-9357-904b9bb8a0f7

Fix a problem doing 'make clean' under Winodws

2007-10-02T15:37:41+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10165 85f007b7-540e-0410-9357-904b9bb8a0f7

A better Program documentation. Include it in the generated stdlib doc.

2007-08-08T13:14:05+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10061 85f007b7-540e-0410-9357-904b9bb8a0f7

Corrected the reference to glob.dump, which is used to create stdlib/index-body.html.

2007-07-26T11:05:06+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10051 85f007b7-540e-0410-9357-904b9bb8a0f7

Modifications de la construction de la documentation de la librairie

2007-07-25T12:27:03+00:00

standard:
  - ajout d'une entrée dans le Makefile principal pour le fichier de
    globalisations glob.dump
  - modifications de doc/Makefile et de l'index html pour gérer les
    nouveaux fichiers de la librairie standard (en part. ceux dans
    Ints)



git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10049 85f007b7-540e-0410-9357-904b9bb8a0f7

New bootstrapping, improved, Makefile system

2007-07-13T11:08:26+00:00

Documented in dev/doc/build-system.txt .


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9992 85f007b7-540e-0410-9357-904b9bb8a0f7

Split refman/headers.tex into headers.sty and headers.hva.

2007-04-10T14:09:30+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9753 85f007b7-540e-0410-9357-904b9bb8a0f7