CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2002-06-19 14:52:45
Modified files:
doc : definitions.dox
Log message:
Corrected spurious uses of the macro \mathord.
Some improvements in the paragraph on bounding boxes: the standard
notation for the i-th vector of the canonical base is \vect{e}_i.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto(a)cs.unipr.it 2002-06-19 14:46:08
Modified files:
interfaces/Prolog: clpq2.pl
Log message:
Avoid defining append/3 and member/2, since they are defined as built-ins
or provided as library predicates by any supported Prolog implementation
(SWI-Prolog seems to be annoyed if a user program tries to redefine them).
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq2.pl.di…
Modified files:
interfaces/Prolog/SICStus: sp_clpq.pl
Log message:
Import append/3 and member/2 from library(lists).
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sp_…
Dear all,
the official version of libtool we were using had bugs that prevented
us from successfully running `make check' in the interfaces/Prolog
directory, on systems where the PPL was not already installed.
For this reason I had to switch to the CVS version of libtool.
More info on http://www.gnu.org/software/libtool/libtool.html .
If you have problems, go there and upgrade your sysyem.
Let me know if problems persist.
All the best
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it
