coq/dev/ocamlweb-doc/Makefile, branch master

Move from ocamlweb to ocamdoc to generate mli documentation

2010-04-29T09:56:37+00:00

dev/ocamlweb-doc has been erased. I hope no one still use the
"new-parse" it generate.

In dev/,
make html will generate in dev/html/ "clickable version of mlis". (as
the caml standard library)
make coq.pdf will generate nearly the same awfull stuff that coq.ps was.
make {kernel,lib,parsing,..}.{dot,png} will do the dependancy graph of
the given directory.

ocamldoc comment syntax is here :
http://caml.inria.fr/pub/docs/manual-ocaml/manual029.html

The possibility to put graphs in pdf/html seems to be lost.

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

Remove interface plugin

2009-12-02T08:36:14+00:00

It has moved to the contribs (Sophia-Antipolis/Interface).

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

Directory 'contrib' renamed into 'plugins', to end confusion with archive of user contribs

2009-03-20T01:22:58+00:00

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

Completed 11745 (move of jprover to user contribs) and cleaned 11743

2009-01-05T09:50:15+00:00

(detection of Miller's pattern)



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

first-order --> firstorder (kills a warning about not being a valid id)

2008-04-16T20:40:19+00:00

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

Amélioration de la génération des graphes de dépendances (utilisation de ocamldoc)

2008-01-11T10:59:54+00:00

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

Restructuration dossier dev et mise à jour de certaines documentations

2006-05-23T21:51:59+00:00

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