June 2002 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 19 Jun '02

19 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-19 17:27:07 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Many ongoing changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/interfaces/Prolog Makefile.am
by Roberto Bagnara 19 Jun '02

19 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-19 16:25:50 Modified files: interfaces/Prolog: Makefile.am Log message: Distributes also check_script2 and expected2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Enea Zaffanella 19 Jun '02

19 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-19 16:18:25 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Corrected a typo in the first paragraph about the SICStus Prolog interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/interfaces/C ppl_c.h
by Enea Zaffanella 19 Jun '02

19 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-19 16:13:11 Modified files: interfaces/C : ppl_c.h Log message: Corrected a typo in the documentation of PPL_CONSTRAINT_TYPE_GREATER_THAN. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0

ppl/src Variable.defs.hh
by Enea Zaffanella 19 Jun '02

19 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-19 16:05:53 Modified files: src : Variable.defs.hh Log message: Adjusted comment about the constructor. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.defs.hh.diff?cvs…

1 0

ppl/doc definitions.dox
by Patricia Hill 19 Jun '02

19 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-19 16:01:01 Modified files: doc : definitions.dox Log message: Improvements to the space dimension and the relation with paragraphs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/src Polyhedron.defs.hh globals.hh
by Enea Zaffanella 19 Jun '02

19 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-19 15:24:59 Modified files: src : Polyhedron.defs.hh globals.hh Log message: Added a short description for class Throwable. Corrected a typo in comment for remove_dimensions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=p…

1 0

ppl/doc definitions.dox
by Patricia Hill 19 Jun '02

19 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-19 15:18:14 Modified files: doc : definitions.dox Log message: Bounding box paragraph improved a little. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

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

19 Jun '02

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…

1 0

ppl/doc definitions.dox
by Patricia Hill 19 Jun '02

19 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-19 14:48:48 Modified files: doc : definitions.dox Log message: Changes to relation-wirh and widening paragraphs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0