January 2006 - PPL-devel - BUGSENG Mailman

w3ppl/bin ppl_release
by Matthew Mundell 12 Jan '06

12 Jan '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: mundell(a)cs.unipr.it 2006-01-12 22:45:12 Modified files: bin : ppl_release Log message: Update build_dpkgfiles to sign the package. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/bin/ppl_release.diff?cvsroo…

1 0

ppl/interfaces/Prolog/GNU README
by Matthew Mundell 12 Jan '06

12 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-12 22:43:09 Modified files: interfaces/Prolog/GNU: README Log message: Clip trailing whitespace. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/README.…

1 0

ppl/debian libppl-pwl.install
by Matthew Mundell 12 Jan '06

12 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-12 22:42:50 Modified files: debian : libppl-pwl.install Log message: Add usr/lib/libpwl.so. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-pwl.install.dif…

1 0

ppl/debian libppl.install libppl-dev.install
by Matthew Mundell 12 Jan '06

12 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-12 22:42:24 Modified files: debian : libppl.install libppl-dev.install Log message: Move usr/lib/libppl.so from libppl-dev to libppl. Add usr/bin/ppl-config to libppl. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl.install.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-dev.install.dif…

1 0

ppl/debian control
by Matthew Mundell 12 Jan '06

12 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-12 22:39:40 Modified files: debian : control Log message: Drop the libppl-swi and libppl-gprolog dependencies on swi-prolog and gprolog, resp. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/control.diff?cvsroot=p…

1 0

ppl BUGS
by Matthew Mundell 12 Jan '06

12 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-12 22:30:46 Modified files: . : BUGS Log message: Improve the known bugs statement. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/BUGS.diff?cvsroot=ppl&r1=1.4&…

1 0

ppl/src ppl-config.cc.in
by Roberto Bagnara 12 Jan '06

12 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-12 17:30:45 Modified files: src : ppl-config.cc.in Log message: Fix misplaced semicolon. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl-config.cc.in.diff?cvs…

1 0

ppl/doc definitions.dox
by Patricia Hill 12 Jan '06

12 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-01-12 17:24:27 Modified files: doc : definitions.dox Log message: Small improvements to subsection 1.6 on the powerset domain. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/debian rules
by Matthew Mundell 12 Jan '06

12 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-12 16:31:51 Modified files: debian : rules Log message: Correct the ppl-config source directory. Improve two comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/rules.diff?cvsroot=ppl…

1 0

ppl/debian libppl.install
by Matthew Mundell 12 Jan '06

12 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-12 16:31:10 Modified files: debian : libppl.install Log message: Add ppl_lpsol and the manual pages. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl.install.diff?cv…

1 0