September 2008 - PPL-devel - BUGSENG Mailman

ppl TODO
by Patricia Hill 10 Sep '08

10 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-10 15:08:28 Modified files: . : TODO Log message: Removed 2 items that have already been dealt with. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.25…

1 0

ppl/interfaces/Java ppl_java_common_dox
by Patricia Hill 10 Sep '08

10 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-10 13:51:36 Modified files: interfaces/Java: ppl_java_common_dox Log message: Typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java_comm…

1 0

ppl/interfaces/Java ppl_java_common_dox
by Patricia Hill 10 Sep '08

10 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-10 13:50:10 Modified files: interfaces/Java: ppl_java_common_dox Log message: Further small improvements to the documention for the widening operators documentation.. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java_comm…

1 0

ppl/interfaces/Java ppl_java_common_dox
by Patricia Hill 10 Sep '08

10 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-10 13:23:12 Modified files: interfaces/Java: ppl_java_common_dox Log message: Several cut-and-paste and similar errors fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java_comm…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 10 Sep '08

10 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-10 12:12:01 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_cc_code.m4 ppl_interface_generator_prolog_cc_files.m4 ppl_interface_generator_prolog_dox.m4 ppl_interface_generator_prolog_dox_code.m4 ppl_interface_generator_prolog_hh_code.m4 ppl_interface_generator_prolog_hh_files.m4 Log message: Comments describing the function of the m4 files corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/doc README.doc
by Patricia Hill 10 Sep '08

10 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-10 11:26:07 Modified files: doc : README.doc Log message: Minor improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/README.doc.diff?cvsroot=p…

1 0

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Patricia Hill 10 Sep '08

10 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-10 10:26:27 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_mli.m4 ppl_ocaml_globals.cc ppl_ocaml_globals.ml interfaces/OCaml/tests: test1.ml Log message: Added code for ppl_version() and similar functions. Fixed a warning (ppl_ocaml_globals.cc) - caused by using CAMLparam(0) instead of CAMLparam1(unit) that declares the dummy parameter "unit". Fixed a cut-and-paste typo in the mli fixed code. Patches: 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_gl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/test1.…

1 0

ppl/doc README.doc
by Roberto Bagnara 10 Sep '08

10 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-10 08:19:41 Modified files: doc : README.doc Log message: Added advice on how to deal with "TeX capacity exceeded" errors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/README.doc.diff?cvsroot=p…

1 0

ppl/demos/ppl_lpsol expected_int32
by Roberto Bagnara 09 Sep '08

09 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-09 22:40:40 Modified files: demos/ppl_lpsol: expected_int32 Log message: Adapted to the recent changes in ppl_lpsol. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int3…

1 0

ppl/interfaces/OCaml Makefile.am tests/Makefile.am
by Roberto Bagnara 09 Sep '08

09 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-09 21:50:36 Modified files: interfaces/OCaml: Makefile.am interfaces/OCaml/tests: Makefile.am Log message: Link with the PPL just built, not with the one that may already been installed in the system. Patches: 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/tests/Makefi…

1 0