April 2004 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 16 Apr '04

16 Apr '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-04-16 17:36:18 Modified files: htdocs/Credits : Credits.raw Log message: Mention the work of Denis Gopan. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

w3ppl/htdocs ppl.raw
by Roberto Bagnara 16 Apr '04

16 Apr '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-04-16 17:18:09 Modified files: htdocs : ppl.raw Log message: Emphasis removed from the (past) seminars announcements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 16 Apr '04

16 Apr '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-04-16 17:16:21 Modified files: htdocs/Credits : Credits.raw Log message: Missing comma added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 16 Apr '04

16 Apr '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-04-16 17:12:52 Modified files: htdocs/Credits : Credits.raw Log message: Mention the work of Goran Frehse. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

ppl/tests Makefile.am boundedh79extrapolation1.cc
by Roberto Bagnara 16 Apr '04

16 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-16 16:41:02 Modified files: tests : Makefile.am Added files: tests : boundedh79extrapolation1.cc Log message: Test Polyhedron::bounded_H79_extrapolation_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundedh79extrapolation… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 13 Apr '04

13 Apr '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-04-13 17:22:25 Modified files: htdocs/Documentation: ppl.bib Log message: Added GopanDMDRS04. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl ./config.guess ./config.sub ./ltmain.sh Wa ...
by Roberto Bagnara 06 Apr '04

06 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-06 21:38:47 Modified files: . : config.guess config.sub ltmain.sh Watchdog : config.guess config.sub ltmain.sh Log message: Updated from libtool-1.5.4. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.sub.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ltmain.sh.diff?cvsroot=ppl&r1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.guess.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.sub.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/ltmain.sh.diff?cvsro…

1 0