[PPL-devel] ppl ./configure.ac doc/Makefile.am doc/devref- ...
Roberto Bagnara
bagnara at cs.unipr.it
Tue Aug 12 11:41:48 CEST 2008
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: bagnara at cs.unipr.it 2008-08-12 11:41:48
Modified files:
. : configure.ac
doc : Makefile.am
devref-prolog-interface.doxyconf-latex.in
Added files:
doc : devref-ocaml-interface.tex
devref-prolog-interface.tex
Log message:
Added machinery to generate the LaTeX developer's manual for the OCaml
interface. Fixed the generation of the same kind of documentation
for the Prolog interface.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&r1=1.315&r2=1.316
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-ocaml-interface.tex?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-prolog-interface.tex?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=ppl&r1=1.58&r2=1.59
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-prolog-interface.doxyconf-latex.in.diff?cvsroot=ppl&r1=1.5&r2=1.6
More information about the PPL-devel
mailing list