July 2002 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Documentation Makefile PPL_Semina ...
by Roberto Bagnara 02 Jul '02

02 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-02 09:33:09 Modified files: htdocs/Documentation: Makefile Added files: htdocs/Documentation: PPL_Seminar_Iremia_2002.ps.gz Log message: Slides of the PPL seminar will be made available from here. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/PPL_Se… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Makefi…

1 0

w3ppl/htdocs/Links Links.raw
by Roberto Bagnara 02 Jul '02

02 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-02 09:11:56 Modified files: htdocs/Links : Links.raw Log message: Reference to YAP added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Links/Links.raw.diff…

1 0

w3ppl/htdocs/Download cvs.raw
by Roberto Bagnara 02 Jul '02

02 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-02 09:00:51 Modified files: htdocs/Download: cvs.raw Log message: Headings capitalized. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/cvs.raw.dif…

1 0

w3ppl/htdocs/Download cvs.raw
by Roberto Bagnara 02 Jul '02

02 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-02 08:58:26 Modified files: htdocs/Download: cvs.raw Log message: Added a reference to the official CVS quick reference guide. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/cvs.raw.dif…

1 0

w3ppl/htdocs/Download cvs.raw
by Roberto Bagnara 02 Jul '02

02 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-02 08:49:42 Modified files: htdocs/Download: cvs.raw Log message: An ordered list was not properly closed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/cvs.raw.dif…

1 0

w3ppl/htdocs/Documentation Makefile bibliograp ...
by Roberto Bagnara 02 Jul '02

02 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-02 08:44:34 Modified files: htdocs/Documentation: Makefile bibliography.raw Log message: Revised. Patches: 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/biblio…

1 0

w3ppl/htdocs/Documentation bibliography.head
by Roberto Bagnara 02 Jul '02

02 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-02 08:21:55 Modified files: htdocs/Documentation: bibliography.head Log message: Revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/biblio…

1 0

w3ppl/htdocs/Documentation Documentation.raw
by Roberto Bagnara 02 Jul '02

02 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-02 07:52:15 Modified files: htdocs/Documentation: Documentation.raw Log message: The representation we use for closed polyhedra is not "dual": it is "double". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Docume…

1 0

w3ppl/htdocs/Documentation Documentation.raw
by Roberto Bagnara 02 Jul '02

02 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-02 07:49:53 Modified files: htdocs/Documentation: Documentation.raw Log message: Revised: the PPL is no longer "very immature". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Docume…

1 0

w3ppl/htdocs news.raw
by Roberto Bagnara 02 Jul '02

02 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-02 07:33:10 Modified files: htdocs : news.raw Log message: Added the last piece of news. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo…

1 0