June 2002 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog ppl_prolog.icc Ciao/ppl_ ...
by Roberto Bagnara 07 Jun '02

07 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-07 08:17:51 Modified files: interfaces/Prolog: ppl_prolog.icc interfaces/Prolog/Ciao: ppl_ciao.cc interfaces/Prolog/GNU: ppl_gprolog_sd.cc interfaces/Prolog/SICStus: ppl_sicstus_sd.cc interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/YAP: ppl_yap.cc Log message: Prolog_get_atom_name() added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

ppl/interfaces/Prolog Ciao/ppl_ciao.cc Ciao/pp ...
by Roberto Bagnara 07 Jun '02

07 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-07 07:19:35 Modified files: interfaces/Prolog/Ciao: ppl_ciao.cc ppl_ciao.pl interfaces/Prolog/GNU: ppl_gprolog_sd.cc interfaces/Prolog/SICStus: ppl_sicstus_sd.cc interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/YAP: ppl_yap.cc Log message: Prolog_is_atom() added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

ppl/interfaces/Prolog pl_check.pl ppl_prolog.i ...
by Patricia Hill 06 Jun '02

06 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-06 18:30:04 Modified files: interfaces/Prolog: pl_check.pl ppl_prolog.icc interfaces/Prolog/SWI: ppl_swiprolog.cc Log message: Added 2 generic predicates ppl_new_Polyhedron_from_dimension/3 and ppl_new_Polyhedron_empty_from_dimension/3 where the 1st argument must be c or nnc. The only Prolog system with interface changed is SWI. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi…

1 0

ppl ppl.spec.in
by Roberto Bagnara 06 Jun '02

06 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-06 17:45:22 Modified files: . : ppl.spec.in Log message: The `swi' package has now its `%files' section. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&…

1 0

ppl configure.ac
by Roberto Bagnara 06 Jun '02

06 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-06 17:18:32 Modified files: . : configure.ac Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/interfaces/Prolog Prolog_interface.dox SWI ...
by Roberto Bagnara 06 Jun '02

06 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-06 17:17:24 Modified files: interfaces/Prolog: Prolog_interface.dox interfaces/Prolog/SWI: Makefile.am pl_clpq.cc ppl_pl.cc ppl_swiprolog.cc Log message: Support for SWI-Prolog completed and documented. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… 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/SWI/pl_clpq… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_pl.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi…

1 0

ppl/doc definitions.dox
by Enea Zaffanella 06 Jun '02

06 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-06 15:13:38 Modified files: doc : definitions.dox Log message: Slowly progressing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/doc definitions.dox ppl.sty
by Enea Zaffanella 06 Jun '02

06 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-06 12:46:46 Modified files: doc : definitions.dox ppl.sty Log message: Started rewriting the introduction to the user manual. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl.sty.diff?cvsroot=ppl&…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Roberto Bagnara 06 Jun '02

06 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-06 10:50:02 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Explained how to use the library from SICStus Prolog. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/src ConSys.defs.hh Constraint.defs.hh Gene ...
by Elisa Ricci 06 Jun '02

06 Jun '02

1 0