- PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Documentation Makefile bibliograp ...
by Roberto Bagnara 07 Oct '01

07 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-07 18:37:04 Modified files: htdocs/Documentation: Makefile Added files: htdocs/Documentation: bibliography.raw Log message: Even though bibliography.raw is a generated file, it is better to have it in the repository. The Makefile no longer deletes it. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/biblio… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Makefi…

1 0

w3ppl/htdocs Make.common
by Roberto Bagnara 07 Oct '01

07 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-07 18:20:21 Modified files: htdocs : Make.common Log message: More commands defined. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Make.common.diff?cvs…

1 0

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

07 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-07 18:19:41 Modified files: htdocs/About : About.raw Log message: Add a link to WPP. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/About/About.raw.diff…

1 0

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

07 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-07 18:19:01 Modified files: htdocs/Documentation: Documentation.raw Makefile ppl.bib Added files: htdocs/Documentation: bibliography.head Log message: Generate a bibliography page from ppl.bib: this is referenced from the Documentation page. Abstract of Wilde93th added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/biblio… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Docume… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Makefi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

Polyhedra/test Makefile.am Makefile.in
by Elisa Ricci 07 Oct '01

07 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/10/07 15:31:37 Modified files: test : Makefile.am Makefile.in Log message: Changed libPPL with libppl.

1 0

w3ppl/htdocs/Documentation/mirror Makefile
by Roberto Bagnara 07 Oct '01

07 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-07 15:25:32 Modified files: htdocs/Documentation/mirror: Makefile Log message: Comment fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/mirror…

1 0

w3ppl/htdocs/Documentation/mirror Makefile
by Roberto Bagnara 07 Oct '01

07 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-07 15:25:01 Modified files: htdocs/Documentation/mirror: Makefile Log message: Comment added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/mirror…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 07 Oct '01

07 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-07 15:19:36 Modified files: htdocs/Documentation: ppl.bib Log message: CousotH78 added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs/Documentation/mirror CousotH78.pdf.gz
by Roberto Bagnara 07 Oct '01

07 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-07 15:12:11 Added files: htdocs/Documentation/mirror: CousotH78.pdf.gz Log message: Added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/mirror…

1 0

w3ppl/htdocs .cvsignore About/.cvsignore Docum ...
by Roberto Bagnara 07 Oct '01

07 Oct '01

1 0