October 2001 - PPL-devel - BUGSENG Mailman

w3ppl/bin update_web_site
by Roberto Bagnara 10 Oct '01

10 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-10 16:56:36 Modified files: bin : update_web_site Log message: Install also the PostScript manuals. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/bin/update_web_site.diff?cv…

1 0

Polyhedra/doc Makefile.am Makefile.in
by Roberto Bagnara 10 Oct '01

10 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/10/10 16:55:52 Modified files: doc : Makefile.am Makefile.in Log message: Produce manuals in PostScript, too.

1 0

Polyhedra/doc definitions.dox
by Elisa Ricci 10 Oct '01

10 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/10/10 16:54:31 Modified files: doc : definitions.dox Log message: Modified the definition of orthogonal vectors.

1 0

Polyhedra/doc devref.tex
by Roberto Bagnara 10 Oct '01

10 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/10/10 16:44:34 Modified files: doc : devref.tex Log message: This is the "Developer's Manual".

1 0

w3ppl/htdocs/Documentation Documentation.raw
by Roberto Bagnara 10 Oct '01

10 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-10 16:21:41 Modified files: htdocs/Documentation: Documentation.raw Log message: Better introduction for the user's documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Docume…

1 0

Polyhedra/src ConSys.defs.hh ConSys.inlines.hh ...
by Enea Zaffanella 10 Oct '01

10 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: zaffanella(a)sandbox.cs.unipr.it 01/10/10 16:06:10 Modified files: src : ConSys.defs.hh ConSys.inlines.hh GenSys.defs.hh GenSys.inlines.hh Log message: For documentation purposes, added destructors for the const_iterator classes of ConSys and GenSys.

1 0

Polyhedra/src ConSys.defs.hh GenSys.defs.hh
by Elisa Ricci 10 Oct '01

10 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/10/10 15:51:08 Modified files: src : ConSys.defs.hh GenSys.defs.hh Log message: Adeed the title "Example" before the example of the use of const_iterator and changed the comment: we want to "print" the system of constraints/generators (not to "read").

1 0

Polyhedra/src ConSys.defs.hh GenSys.defs.hh Co ...
by Enea Zaffanella 10 Oct '01

10 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: zaffanella(a)sandbox.cs.unipr.it 01/10/10 15:41:54 Modified files: src : ConSys.defs.hh GenSys.defs.hh ConSys.inlines.hh GenSys.inlines.hh Log message: Added the copy constructors for both ConSys and GenSys. Added a method "insert" to GenSys.

1 0

Polyhedra/src ConSys.defs.hh
by Elisa Ricci 10 Oct '01

10 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/10/10 15:29:48 Modified files: src : ConSys.defs.hh Log message: Added the example for the use of const_iterator of the class ConSys in its comment.

1 0

Polyhedra/src LinExpression.inlines.hh
by Enea Zaffanella 10 Oct '01

10 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: zaffanella(a)sandbox.cs.unipr.it 01/10/10 15:09:05 Modified files: src : LinExpression.inlines.hh Log message: Removed useless deatiled comments.

1 0