October 2001 - PPL-devel - BUGSENG Mailman

ppl/doc definitions.dox
by Elisa Ricci 21 Oct '01

21 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-21 12:09:50 Modified files: doc : definitions.dox Log message: Restored some mathematical changes and used the notation "\vect{..}" for all the vectors (also in the part that is not in the user manual). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/src Constraint.defs.hh Generator.defs.hh P ...
by Enea Zaffanella 21 Oct '01

21 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-21 11:56:26 Modified files: src : Constraint.defs.hh Generator.defs.hh Polyhedron.defs.hh Variable.cc Variable.defs.hh Log message: In the documentation of the namespace PPL, all non-friend operators are now grouped consistently. I do not like very much the current header of each group ("Non-friend operators on objects ..." is maybe too much implementation-aware), but in any case it is definitely better than the default grouping header ("Functions"). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv… 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/Variable.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.defs.hh.diff?cvs…

1 0

ppl README
by Enea Zaffanella 21 Oct '01

21 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-21 11:53:40 Modified files: . : README Log message: Now it is in sync with the home page of the www documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1=1.…

1 0

w3ppl/htdocs/About About.raw
by Roberto Bagnara 21 Oct '01

21 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-21 11:15:07 Modified files: htdocs/About : About.raw Log message: Finished. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/About/About.raw.diff…

1 0

ppl/doc definitions.dox ppl.sty
by Enea Zaffanella 21 Oct '01

21 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-21 11:14:23 Modified files: doc : definitions.dox ppl.sty Log message: The new macro \vect inserted in ppl.sty; now the macro simply uses the latex command \mathbf, but we can modify its meaning as we like. Had a run on definitions.dox to consistently use the new macro: be careful, in the future, to use 0 when a scalar is meant, and \vect{0} when the origin of the space is meant. Also made small, readability related changes to Minkowsky's and Weil's theorems. 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

w3ppl/htdocs About/About.raw Links/Links.raw
by Roberto Bagnara 21 Oct '01

21 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-21 10:25:21 Modified files: htdocs/About : About.raw htdocs/Links : Links.raw Log message: Some progress on these last two pages. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/About/About.raw.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Links/Links.raw.diff…

1 0

w3ppl/htdocs ppl.raw Download/Download.raw
by Enea Zaffanella 21 Oct '01

21 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-21 09:19:39 Modified files: htdocs : ppl.raw htdocs/Download: Download.raw Log message: We can only specify _closed_ convex polyhedra. An "s" for plural added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra…

2 1

w3ppl/htdocs Makefile templates/choicebar.tmpl ...
by Roberto Bagnara 20 Oct '01

20 Oct '01

1 0

w3ppl/htdocs/Credits
by Roberto Bagnara 20 Oct '01

20 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-20 23:03:54 w3ppl/htdocs/Credits Update of /cvs/ppl/w3ppl/htdocs/Credits In directory spartacus.cs.unipr.it:/tmp/cvs-serv26345/Credits Log Message: Directory /cvs/ppl/w3ppl/htdocs/Credits added to the repository

1 0

w3ppl ./README htdocs/ppl.raw
by Roberto Bagnara 20 Oct '01

20 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-20 21:30:33 Modified files: . : README htdocs : ppl.raw Log message: Equation -> equality. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1=1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0