August 2007 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Links Links.raw
by Roberto Bagnara 30 Aug '07

30 Aug '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-08-30 18:34:24 Modified files: htdocs/Links : Links.raw Log message: Spurious colon removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Links/Links.raw.diff…

1 0

w3ppl/htdocs/Links Links.raw
by Roberto Bagnara 30 Aug '07

30 Aug '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-08-30 18:33:34 Modified files: htdocs/Links : Links.raw Log message: Added a link to Apron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Links/Links.raw.diff…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 30 Aug '07

30 Aug '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-08-30 18:30:52 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Starynkevitch07 completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 30 Aug '07

30 Aug '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-08-30 18:22:05 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added Starynkevitch07. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

ppl/interfaces/C C_interface.dox
by Enea Zaffanella 30 Aug '07

30 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-08-30 15:47:36 Modified files: interfaces/C : C_interface.dox Log message: Made consistent with respect to the currently generated C interface. Using new Doxygen alias \extref when referring to the main manual. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/C_interface.dox.…

1 0

ppl/doc devref-c-interface.doxyconf-html.in de ...
by Enea Zaffanella 30 Aug '07

30 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-08-30 15:46:23 Modified files: doc : devref-c-interface.doxyconf-html.in devref-c-interface.doxyconf-latex.in user-c-interface.doxyconf-html.in user-c-interface.doxyconf-latex.in Added files: doc : devref-c-interface.tex Log message: Added main title page for the LaTeX version of the C interface devref. Added Doxygen alias \extref for references to external documentation: it behaves as \ref for the HTML documentation (exploiting TAG files), it simply prints the second argument for the LaTeX documentation (since these seems not to be able to exploit TAG files). By using \extref we should be able to avoid dozens of annoying Doxygen warnings when producing the manuals for foreign language interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-c-interface.tex?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-c-interface.doxyco… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-c-interface.doxyco… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-c-interface.doxyconf… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-c-interface.doxyconf…

1 0

ppl/doc user-prolog-interface.doxyconf-html.in ...
by Enea Zaffanella 30 Aug '07

30 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-08-30 12:31:09 Modified files: doc : user-prolog-interface.doxyconf-html.in user-prolog-interface.doxyconf-latex.in Log message: Updated to Doxygen 1.5.3. Use user-prolog-interface.tex for the LaTeX version. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-prolog-interface.dox… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-prolog-interface.dox…

1 0

ppl/doc user-prolog-interface.tex
by Enea Zaffanella 30 Aug '07

30 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-08-30 12:28:46 Added files: doc : user-prolog-interface.tex Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-prolog-interface.tex…

1 0

ppl/doc user-c-interface.doxyconf-html.in user ...
by Enea Zaffanella 30 Aug '07

30 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-08-30 12:26:35 Modified files: doc : user-c-interface.doxyconf-html.in user-c-interface.doxyconf-latex.in devref-c-interface.doxyconf-html.in devref-c-interface.doxyconf-latex.in Log message: Added C_interface.dox to the documentation INPUT files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-c-interface.doxyconf… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-c-interface.doxyconf… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-c-interface.doxyco… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-c-interface.doxyco…

1 0

ppl/doc Makefile.am
by Enea Zaffanella 30 Aug '07

30 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-08-30 11:56:52 Modified files: doc : Makefile.am Log message: C interface docs depends on interfaces/C/C_interface.dox. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0