November 2001 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/SICStus Makefile.am
by Roberto Bagnara 13 Nov '01

13 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-13 16:48:16 Modified files: interfaces/Prolog/SICStus: Makefile.am Log message: Packaging issues solved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak…

1 0

ppl/interfaces/Prolog/SICStus Makefile.am chec ...
by Roberto Bagnara 13 Nov '01

13 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-13 15:48:36 Modified files: interfaces/Prolog/SICStus: Makefile.am Added files: interfaces/Prolog/SICStus: check_script expected Log message: Use the meta-interpreter for `make check'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/che… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/exp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak…

1 0

ppl/interfaces/Prolog/SICStus clpq.pl
by Roberto Bagnara 13 Nov '01

13 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-13 15:47:57 Modified files: interfaces/Prolog/SICStus: clpq.pl Log message: reconsult(File) command fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/clp…

1 0

ppl/interfaces/Prolog/SICStus ppl_check.pl
by Roberto Bagnara 13 Nov '01

13 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-13 15:04:17 Removed files: interfaces/Prolog/SICStus: ppl_check.pl Log message: Gone, at last. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

ppl/interfaces/Prolog/SICStus clpq.pl
by Roberto Bagnara 13 Nov '01

13 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-13 15:03:42 Modified files: interfaces/Prolog/SICStus: clpq.pl Log message: Legalese added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/clp…

1 0

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 13 Nov '01

13 Nov '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-11-13 11:02:11 Modified files: htdocs/Credits : Credits.raw Log message: Fixed (?) the URI of Giorgio's project. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

ppl/interfaces/Prolog/SICStus clpq.pl
by Roberto Bagnara 13 Nov '01

13 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-13 10:02:07 Modified files: interfaces/Prolog/SICStus: clpq.pl Log message: Better support for debugging. Now the `spy' command works as expected by most Prolog users. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/clp…

1 0

ppl/interfaces/Prolog/SICStus tak.clpq
by Roberto Bagnara 13 Nov '01

13 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-13 09:20:55 Added files: interfaces/Prolog/SICStus: tak.clpq Log message: New test program. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/tak…

1 0

ppl/interfaces/Prolog/SICStus ack.clpq ackn.clpq
by Roberto Bagnara 13 Nov '01

13 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-13 09:20:05 Modified files: interfaces/Prolog/SICStus: ack.clpq Added files: interfaces/Prolog/SICStus: ackn.clpq Log message: ack.clpq is the original version whereas ackn.clpq is the normalized version. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ack… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ack…

1 0

ppl/interfaces/Prolog/SICStus clpq.pl
by Roberto Bagnara 12 Nov '01

12 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-12 22:33:22 Modified files: interfaces/Prolog/SICStus: clpq.pl Log message: Fixed a bug whereby original_goal_variables/1 was not retracted in some cases. Multiple clauses for original_goal_variables/1 were causing the use of already discarded polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/clp…

1 0