November 2008 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Credits Credits.raw
by Enea Zaffanella 03 Nov '08

03 Nov '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-03 18:37:31 Modified files: htdocs/Credits : Credits.raw Log message: Use í in the first surname of Enric Rodriguez Carbonell. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

w3ppl/htdocs/About About.raw
by Roberto Bagnara 03 Nov '08

03 Nov '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-11-03 18:29:51 Modified files: htdocs/About : About.raw Log message: Revised and brought up to date. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/About/About.raw.diff…

1 0

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 03 Nov '08

03 Nov '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-11-03 18:19:36 Modified files: htdocs/Credits : Credits.raw Log message: Alphabetical ordering restored. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

ppl CREDITS
by Roberto Bagnara 03 Nov '08

03 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-03 18:18:25 Modified files: . : CREDITS Log message: Alphabetical ordering restored. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&r1=1…

1 0

ppl/src version.cc
by Roberto Bagnara 03 Nov '08

03 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-03 18:12:20 Modified files: src : version.cc Log message: Jose Morales added to the "special thanks" section. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/version.cc.diff?cvsroot=p…

1 0

w3ppl/htdocs/Links Links.raw
by Roberto Bagnara 03 Nov '08

03 Nov '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-11-03 16:28:44 Modified files: htdocs/Links : Links.raw Log message: Heading revised. More links added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Links/Links.raw.diff…

1 0

ppl/doc Makefile.am
by Enea Zaffanella 03 Nov '08

03 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-03 16:08:44 Modified files: doc : Makefile.am Log message: Corrected the command for generating the configuration-dependent HTML manuals for the OCaml interface: HTML files generated by ocamldoc are now placed in the ocamldoc subdir. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

w3ppl/htdocs/Applications Applications.raw
by Roberto Bagnara 03 Nov '08

03 Nov '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-11-03 14:49:03 Modified files: htdocs/Applications: Applications.raw Log message: Provide information that is complementary with respect to the one contained in the "Credits" page. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Applications/Applica…

1 0

ppl/src version.cc
by Roberto Bagnara 03 Nov '08

03 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-03 14:40:03 Modified files: src : version.cc Log message: Synchronized with the CREDITS file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/version.cc.diff?cvsroot=p…

1 0

ppl configure.ac
by Roberto Bagnara 03 Nov '08

03 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-03 14:21:10 Modified files: . : configure.ac Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0