August 2008 - PPL-devel - BUGSENG Mailman

ppl TODO
by Roberto Bagnara 12 Aug '08

12 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-12 18:06:48 Modified files: . : TODO Log message: Added one item for PPL 0.10. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.24…

1 0

ppl doc/Makefile.am doc/devref-java-interface. ...
by Roberto Bagnara 12 Aug '08

12 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-12 17:53:05 Modified files: doc : Makefile.am devref-java-interface.doxyconf-html.in devref-java-interface.doxyconf-latex.in devref-java-interface.tex user-java-interface.doxyconf-html.in user-java-interface.doxyconf-latex.in user-java-interface.tex interfaces/Java: Makefile.am Added files: interfaces/Java: Java_interface.dox Log message: Added the required machinery to generate the documentation for the Java interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-java-interface.dox… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-java-interface.dox… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-java-interface.tex… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-java-interface.doxyc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-java-interface.doxyc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-java-interface.tex.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/Java_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/Makefile.am.d…

1 0

ppl/interfaces/Java/ppl_java Coefficient.java
by Roberto Bagnara 12 Aug '08

12 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-12 17:11:05 Modified files: interfaces/Java/ppl_java: Coefficient.java Log message: FIXME removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Coef…

1 0

ppl/interfaces/Java/ppl_java Congruence.java L ...
by Roberto Bagnara 12 Aug '08

12 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-12 17:09:53 Modified files: interfaces/Java/ppl_java: Congruence.java Linear_Expression_Coefficient.java Log message: Doxygen comments fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Cong… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Line…

1 0

ppl/interfaces/OCaml Makefile.am
by Roberto Bagnara 12 Aug '08

12 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-12 16:47:12 Modified files: interfaces/OCaml: Makefile.am Log message: Distribute also OCaml_interface.dox. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.…

1 0

ppl/interfaces/Java/ppl_java Congruence.java
by Roberto Bagnara 12 Aug '08

12 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-12 16:46:23 Modified files: interfaces/Java/ppl_java: Congruence.java Log message: Doxygen comment fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Cong…

1 0

ppl/interfaces/Prolog Makefile.am
by Roberto Bagnara 12 Aug '08

12 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-12 16:14:06 Modified files: interfaces/Prolog: Makefile.am Log message: Distribute also Prolog_interface.dox. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am…

1 0

ppl/doc devref-java-interface.doxyconf-html.in ...
by Roberto Bagnara 12 Aug '08

12 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-12 16:06:07 Added files: doc : devref-java-interface.doxyconf-html.in devref-java-interface.doxyconf-latex.in devref-java-interface.tex user-java-interface.doxyconf-html.in user-java-interface.doxyconf-latex.in user-java-interface.tex Log message: New files for the Java interface documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-java-interface.dox… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-java-interface.dox… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-java-interface.tex… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-java-interface.doxyc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-java-interface.doxyc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-java-interface.tex?c…

1 0

ppl ./configure.ac interfaces/C/Makefile.am
by Roberto Bagnara 12 Aug '08

12 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-12 16:04:15 Modified files: . : configure.ac interfaces/C : Makefile.am Log message: Distribute also C_interface.dox. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 12 Aug '08

12 Aug '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-08-12 15:11:26 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added AlurKRS08. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0