September 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog Makefile.am ppl_interfac ...
by Patricia Hill 21 Sep '08

21 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-21 23:02:58 Modified files: interfaces/Prolog: Makefile.am ppl_interface_generator_prolog_dox.m4 Log message: Changed so that there are no unnecessary dependencies on the ppl_interface_instantiations when generating the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 21 Sep '08

21 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-21 22:59:46 Modified files: interfaces : ppl_interface_generator_common_dat.m4 Log message: Revised so as to allow for the documentation not to include ppl_interface_instantiations.m4. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0

ppl/interfaces/Java Makefile.am ppl_interface_ ...
by Patricia Hill 21 Sep '08

21 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-21 22:46:34 Modified files: interfaces/Java: Makefile.am ppl_interface_generator_java_dox.m4 Log message: Avoid unnecessary dependency on the generated ppl_interface_instantiations.m4 Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/Makefile.am.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_interface…

1 0

ppl configure.ac configure.repo
by Roberto Bagnara 21 Sep '08

21 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-21 22:09:11 Modified files: . : configure.ac configure.repo Log message: Fixed the implementation of `--enable-instantiations=all'. 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/configure.repo.diff?cvsroot=p…

1 0

ppl README.configure
by Roberto Bagnara 21 Sep '08

21 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-21 21:56:41 Modified files: . : README.configure Log message: Improved the explanation on how to use the `configure.repo' files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot…

1 0

ppl/interfaces/Java Makefile.am
by Roberto Bagnara 21 Sep '08

21 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-21 21:17:44 Modified files: interfaces/Java: Makefile.am Log message: Java_interface.dox should not belong to BUILT_SOURCES. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/Makefile.am.d…

1 0

ppl/doc Makefile.am
by Enea Zaffanella 21 Sep '08

21 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-21 17:42:14 Modified files: doc : Makefile.am Log message: Also clean LaTeX header files for configurated interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

ppl/doc Makefile.am devref-foreign-language-in ...
by Enea Zaffanella 21 Sep '08

21 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-21 17:35:45 Modified files: doc : Makefile.am devref-foreign-language-interface.tex user-foreign-language-interface.tex Log message: Added missing replacement targets for sed in the devref LaTeX header file. Added a new replacement for \usepackage{ocamldoc}. 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-foreign-language-i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-foreign-language-int…

1 0

ppl/doc Makefile.am
by Enea Zaffanella 21 Sep '08

21 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-21 17:12:49 Modified files: doc : Makefile.am Log message: Further targets added to build configuration-dependent foreign language interface docs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

ppl/tests/Box frombox1.cc
by Roberto Bagnara 21 Sep '08

21 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-21 15:42:55 Modified files: tests/Box : frombox1.cc Log message: Print also the constraints of `src' in test05(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/frombox1.cc.diff?cv…

1 0