October 2008 - PPL-devel - BUGSENG Mailman

w3ppl/bin update_web_site
by Roberto Bagnara 20 Oct '08

20 Oct '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-10-20 08:42:40 Modified files: bin : update_web_site Log message: Build `ppl_prolog_domains.hh' before doing a documentation `make world'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/bin/update_web_site.diff?cv…

1 0

ppl/devtools .cvsignore
by Roberto Bagnara 20 Oct '08

20 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-20 08:35:18 Added files: devtools : .cvsignore Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/devtools/.cvsignore?cvsroot=p…

1 0

ppl/devtools generate_dox_ci_prolog_manual
by Roberto Bagnara 20 Oct '08

20 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-20 08:34:59 Added files: devtools : generate_dox_ci_prolog_manual Log message: Script to generate the Doxygen source for the configuration-independent Prolog interface manual. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/devtools/generate_dox_ci_prol…

1 0

ppl configure.ac
by Roberto Bagnara 19 Oct '08

19 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-19 22:37:17 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

w3ppl/bin update_web_site
by Roberto Bagnara 19 Oct '08

19 Oct '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-10-19 22:36:06 Modified files: bin : update_web_site Log message: Begun the upgrade in view of the release of PPL 0.10. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/bin/update_web_site.diff?cv…

1 0

ppl TODO
by Roberto Bagnara 19 Oct '08

19 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-19 21:46:43 Modified files: . : TODO Log message: Added a list of things to do for PPL 0.10.1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.27…

1 0

ppl ./TODO interfaces/OCaml/README.ocaml
by Roberto Bagnara 19 Oct '08

19 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-19 21:28:59 Modified files: . : TODO interfaces/OCaml: README.ocaml Log message: README.ocaml revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.27… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/README.ocaml…

1 0

ppl README.configure
by Roberto Bagnara 19 Oct '08

19 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-19 21:28:30 Modified files: . : README.configure Log message: Added a couple of blank spaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot…

1 0

ppl README.configure TODO
by Roberto Bagnara 19 Oct '08

19 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-19 21:15:15 Modified files: . : README.configure TODO Log message: README.configure is now complete. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.26…

1 0

ppl configure.ac
by Roberto Bagnara 19 Oct '08

19 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-19 21:14:48 Modified files: . : configure.ac Log message: Usage summary improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0