October 2008 - PPL-devel - BUGSENG Mailman

ppl/m4 ac_check_gmp.m4
by Roberto Bagnara 22 Oct '08

22 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-22 12:27:54 Modified files: m4 : ac_check_gmp.m4 Log message: Test strengthened to guard against what can easily happen on a bi-arch system. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_gmp.m4.diff?cvsro…

1 0

ppl/interfaces/Prolog/tests pl_check.pl
by Patricia Hill 22 Oct '08

22 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-22 10:21:50 Modified files: interfaces/Prolog/tests: pl_check.pl Log message: Comment improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

w3ppl/htdocs/Documentation Documentation.raw
by Enea Zaffanella 22 Oct '08

22 Oct '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-22 09:18:36 Modified files: htdocs/Documentation: Documentation.raw Log message: Added tables with links to the several PPL manuals. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Docume…

1 0

ppl/interfaces/Prolog/tests pl_check.pl
by Patricia Hill 22 Oct '08

22 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-22 09:06:47 Modified files: interfaces/Prolog/tests: pl_check.pl Log message: Revised one of the exception tests to allow for all possible exceptions that can occur, depending on the machine and configuration. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl/m4 ac_check_gmp.m4
by Roberto Bagnara 21 Oct '08

21 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-21 14:49:18 Modified files: m4 : ac_check_gmp.m4 Log message: Make sure the version of GMP as define by the GMP's header file matches the version reported by gmp_version(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_gmp.m4.diff?cvsro…

1 0

ppl/interfaces/Prolog/GNU Makefile.am
by Roberto Bagnara 21 Oct '08

21 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-21 14:05:15 Modified files: interfaces/Prolog/GNU: Makefile.am Log message: GNU Prolog 1.3.1 needs a higher value for GLOBALSZ. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil…

1 0

ppl/interfaces/Prolog/GNU gprolog_cfli.hh
by Roberto Bagnara 21 Oct '08

21 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-21 14:04:40 Modified files: interfaces/Prolog/GNU: gprolog_cfli.hh Log message: Minimal changes to support GNU Prolog 1.3.1 (to be released soon). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/gprolog…

1 0

ppl/interfaces/Prolog/tests pl_check.pl
by Patricia Hill 21 Oct '08

21 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-21 12:46:12 Modified files: interfaces/Prolog/tests: pl_check.pl Log message: Corrected special exception tests for Prolog systems (eg GNU Prolog) with bounded integers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

w3ppl/htdocs/templates macros.tmpl
by Roberto Bagnara 21 Oct '08

21 Oct '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-10-21 11:05:54 Modified files: htdocs/templates: macros.tmpl Log message: Version number bumped for testing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/templates/macros.tmp…

1 0

ppl/doc Makefile.am
by Enea Zaffanella 20 Oct '08

20 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-20 23:40:51 Modified files: doc : Makefile.am Log message: The configured Prolog manuals depend on generated file Prolog_configured_interface.dox. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0