November 2008 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Download Download.raw
by Roberto Bagnara 01 Nov '08

01 Nov '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-11-01 18:39:05 Modified files: htdocs/Download: Download.raw Log message: We no longer distribute packages other than source tarballs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra…

1 0

ppl/fedora ppl.spec
by Roberto Bagnara 01 Nov '08

01 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-01 18:03:41 Modified files: fedora : ppl.spec Log message: Restored the default instantiations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/fedora/ppl.spec.diff?cvsroot=…

1 0

ppl/fedora ppl.spec
by Roberto Bagnara 01 Nov '08

01 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-01 18:02:52 Modified files: fedora : ppl.spec Log message: Reorganized the contents of the `ppl' and `ppl-devel' packages. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/fedora/ppl.spec.diff?cvsroot=…

1 0

ppl TODO
by Roberto Bagnara 01 Nov '08

01 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-01 16:26:30 Modified files: . : TODO Log message: Added an item for PPL 0.10.1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.28…

1 0

ppl/doc Makefile.am
by Enea Zaffanella 01 Nov '08

01 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-01 16:22:07 Modified files: doc : Makefile.am Log message: Only install foreign language interface manauls if they have been enabled. Also improved the uninstall rule for PDF and PS docs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

ppl demos/ppl_lcdd/ppl_lcdd.1 demos/ppl_lpsol/ ...
by Roberto Bagnara 01 Nov '08

01 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-01 16:05:24 Modified files: demos/ppl_lcdd : ppl_lcdd.1 demos/ppl_lpsol: ppl_lpsol.1 doc : ppl-config.1 Log message: Version number set to 0.10. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.1.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.1.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl-config.1.diff?cvsroot…

1 0

ppl ./README Watchdog/README
by Roberto Bagnara 01 Nov '08

01 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-01 15:59:04 Modified files: . : README Watchdog : README Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1=1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/README.diff?cvsroot=…

1 0

ppl/fedora ppl.spec
by Roberto Bagnara 01 Nov '08

01 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-01 15:39:37 Modified files: fedora : ppl.spec Log message: Temporarily disabled the OCaml packages, since there is no MLGMP package for Fedora. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/fedora/ppl.spec.diff?cvsroot=…

1 0

ppl/interfaces/Prolog Ciao/Makefile.am GNU/Mak ...
by Enea Zaffanella 01 Nov '08

01 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-01 14:31:37 Modified files: interfaces/Prolog/Ciao: Makefile.am interfaces/Prolog/GNU: Makefile.am interfaces/Prolog/SICStus: Makefile.am interfaces/Prolog/SWI: Makefile.am interfaces/Prolog/XSB: Makefile.am Log message: List `-no-undefined' among the per-module LDFLAGS when `NO_UNDEFINED_FLAG' is set. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil…

1 0

ppl/interfaces/Java/jni Makefile.am
by Enea Zaffanella 01 Nov '08

01 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-01 14:23:59 Modified files: interfaces/Java/jni: Makefile.am Log message: List `-no-undefined' among the per-module LDFLAGS when `NO_UNDEFINED_FLAG' is set. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/Makefile.…

1 0