October 2008 - PPL-devel - BUGSENG Mailman

ppl/doc prog2man
by Roberto Bagnara 10 Oct '08

10 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-10 22:25:23 Removed files: doc : prog2man Log message: This functionality is now provided by `generate_man_pages' in the `devtools' directory. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/prog2man.diff?cvsroot=ppl…

1 0

ppl/devtools generate_man_pages
by Roberto Bagnara 10 Oct '08

10 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-10 22:22:41 Added files: devtools : generate_man_pages Log message: Small script to generate the manpages in the `doc' directory. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/devtools/generate_man_pages?c…

1 0

ppl/devtools bump_copyright_years
by Roberto Bagnara 10 Oct '08

10 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-10 21:41:40 Added files: devtools : bump_copyright_years Log message: A small script to update the copyright years. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/devtools/bump_copyright_years…

1 0

ppl/devtools cvs2cl.pl update_ChangeLog
by Roberto Bagnara 10 Oct '08

10 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-10 21:31:08 Added files: devtools : cvs2cl.pl update_ChangeLog Log message: Machinery to automatically update the ChangeLog files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/devtools/cvs2cl.pl?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/devtools/update_ChangeLog?cvs…

1 0

ppl/devtools
by Roberto Bagnara 10 Oct '08

10 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-10 21:28:54 ppl/devtools Update of /cvs/ppl/ppl/devtools In directory spartacus.cs.unipr.it:/tmp/cvs-serv21314/devtools Log Message: Directory /cvs/ppl/ppl/devtools added to the repository

1 0

ppl/Watchdog ChangeLog
by Roberto Bagnara 10 Oct '08

10 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-10 21:28:46 Modified files: Watchdog : ChangeLog Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/ChangeLog.diff?cvsro…

1 0

ppl ChangeLog
by Roberto Bagnara 10 Oct '08

10 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-10 21:28:16 Modified files: . : ChangeLog Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ChangeLog.diff?cvsroot=ppl&r1…

1 0

ppl/doc Makefile.am
by Enea Zaffanella 10 Oct '08

10 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-10 21:28:12 Modified files: doc : Makefile.am Log message: Modified to match recent changes in the OCaml interface files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

ppl/interfaces/OCaml Makefile.am ppl_interface ...
by Enea Zaffanella 10 Oct '08

10 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-10 21:25:08 Modified files: interfaces/OCaml: Makefile.am ppl_interface_generator_ocaml_ml.m4 ppl_interface_generator_ocaml_mli.m4 ppl_ocaml_globals.ml Added files: interfaces/OCaml: ppl_ocaml_globals.mli Removed files: interfaces/OCaml: ppl_ocaml_types.ml Log message: The file ppl_ocaml_types.ml is now merged to ppl_ocaml_globals.ml. Added the corresponding .mli file (instead of generating it using m4; m4 now includes it). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_gl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_gl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_ty…

1 0

ppl ./Makefile.am ./configure.ac ./configure.r ...
by Roberto Bagnara 10 Oct '08

10 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-10 21:23:24 Modified files: . : Makefile.am configure.ac configure.repo Removed files: debian : Makefile.am fedora : Makefile.am Log message: The `fedora' and `debian' directories are no longer distributed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Makefile.am.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.repo.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/Makefile.am.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/fedora/Makefile.am.diff?cvsro…

1 0