April 2009 - PPL-devel - BUGSENG Mailman

Re: [PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2
by Tobias Grosser 14 Apr '09

14 Apr '09

Hi, On Fri, 2009-04-10 at 22:02 +0200, Roberto Bagnara wrote: > Tobias Grosser wrote: > > 2. test02 and test03 in tests/Box/propagateconstraints2 fail. > > > > They only fail if compile with > > > > gmake propagateconstraints2 -DBOX_INSTANCE=db_r_oc > > or > > gmake check (in ppl/, ppl/tests, or ppl/tests/Box) > > Hi Tobias, > > we finally found what the problem is: FreeBSD implementation > of fma() does not respect the rounding mode (even though it > is said to conform to ISO/IEC 9899:1999). > > Can you please test the new snapshot just uploaded to > > ftp://ftp.cs.unipr.it/pub/ppl/snapshots/ > Nice, compiled and "make check" runs without any problems on my FreeBSD current. This is great! Thanks a lot. I will now work on a FreeBSD package. See you Tobi

2 1

Parma Polyhedra Library 0.10.1
by Roberto Bagnara 14 Apr '09

14 Apr '09

We are pleased to announce the availability of PPL 0.10.1, a new release of the Parma Polyhedra Library. This release includes several important improvements to PPL 0.10, among which is better portability (including the support for cross-compilation), increased robustness, better packaging and several bug fixes. The precise list of user-visible changes is below. For more information, please come and visit the PPL web site at http://www.cs.unipr.it/ppl/ On behalf of all the past and present contributors listed at http://www.cs.unipr.it/ppl/Credits/ and in the file CREDITS, Roberto Bagnara <bagnara(a)cs.unipr.it> Patricia M. Hill <hill(a)comp.leeds.ac.uk> Enea Zaffanella <zaffanella(a)cs.unipr.it> -------------------------------------------------------------------------- NEWS for version 0.10.1 (released on April 14, 2009) -------------------------------------------------------------------------- New and Changed Features ======================== o Added support for cross compilation. o The configuration script now explicitly checks that a recent enough version of GNU M4 is available if at least one non-C++ interface is enabled (in previous versions this check was not performed and building the library could fail in a mysterious way). o Robustness improved. o Some packaging issues have been fixed. o New macro PPL_DIRTY_TEMP_COEFFICIENT allows users of the C++ interface to decrease memory allocation overhead and to improve locality whenever they need a temporary variable of type `Coefficient'. o The C++, C, Java and OCaml interfaces now provide utility functions to format the textual representations of constraints, congruences and so on. This makes it easy to code debugging prints with line indentation and wrapping. o The C interface now provides functions of the form int ppl_io_asprint_Polyhedron(char** strp, P x) where `P' is any opaque pointer to a const PPL object. These functions print `x' to a malloc-allocated string, a pointer to which is returned via `strp'. o The OCaml interface can now be compiled to native code using ocamlopt. o New configuration option `--with-mlgmp=DIR' allows to specify the installation directory of the ML GMP package. o The OCaml interface now supports timeout computation facilities through functions ppl_set_timeout and ppl_reset_timeout. Moreover, new functions ppl_Coefficient_is_bounded, ppl_Coefficient_min, ppl_Coefficient_max and ppl_max_space_dimension have been added. o The Prolog interfaces are no longer enabled by default in the release tarballs (they are enabled by default in the Git versions). Bugfixes ======== o Fixed a bug whereby `make check' was failing when the library was configured with the `--disable-watchdog' option. o Fixed a bug in method bool Polyhedron::contains_integer_point() const; whereby, under very specific conditions, an empty polyhedron is incorrectly said to contain an integer point. o Fixed a bug in method Partially_Reduced_Product<D1, D2, R>::time_elase_assign(y) whereby, if the product y was not already reduced, the operation could lose precision. o Fixed a bug in the OCaml interface, which was affecting functions ppl_Grid_generalized_affine_image_with_congruence and ppl_Grid_generalized_affine_preimage_with_congruence. o Fixed a bug in the Grid class that affected the methods Grid::bounds_from_above(), Grid::bounds_from_below(), Grid::maximize() and Grid::minimize(); causing all of them to wrongly return true in certain cases where the grid generators were not minimized. o Fixed a bug whereby big-endian architectures were not properly recognized by the configuration script. o Fixed a bug in the Java/OCaml/Prolog interfaces, whereby the method/function/predicate for dropping a disjunct from a Pointset_Powerset object were returning an invalid iterator. o Fixed a bug in method Octagonal_Shape<T>::affine_image(var, expr) whereby a wrong result was computed under specific conditions. o Fixed a bug in the OCaml interface, whereby functions of form ppl_..._widening_assign_with_tokens and ppl_..._extrapolation_assign_with_tokens could return a wrong number of tokens. o Fixed a bug in the OCaml interface, whereby functions that returned an OCaml 'unit' type were returning the wrong value. o Fixed several garbage collection related bugs in the OCaml interface. -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

[GIT] ppl/w3ppl(master): Put in sync with doc/README.doc.
by Enea Zaffanella 14 Apr '09

14 Apr '09

Module: ppl/w3ppl Branch: master Commit: 42c86906b12c8f637124e35c22ace4d58ca5dbd4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=42c86906b1… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Apr 14 14:27:33 2009 +0200 Put in sync with doc/README.doc. --- htdocs/Documentation/how_to_get_it.raw | 16 +++++++++------- htdocs/FAQ.raw | 8 ++++---- 2 files changed, 13 insertions(+), 11 deletions(-) diff --git a/htdocs/Documentation/how_to_get_it.raw b/htdocs/Documentation/how_to_get_it.raw index c20f539..417fb08 100644 --- a/htdocs/Documentation/how_to_get_it.raw +++ b/htdocs/Documentation/how_to_get_it.raw @@ -189,21 +189,21 @@ instead of `<code>user</code>'. Finally, the command `<CODE>make world</CODE>' will build all the available documentation in all of the above formats. -<A NAME="LaTeX-Error"> -<H3>A Common LaTeX Error Message and Its Solution</H3> +<A NAME="TeX-Error"> +<H3>A Common TeX Error Message and Its Solution</H3> While compiling some PostScript or PDF documentation, it is possible that -LaTeX dies with a <CODE>TeX capacity exceeded</CODE> error message. +TeX dies with a <CODE>TeX capacity exceeded</CODE> error message. The error should contain the indication of the TeX buffer whose capacity has been exceeded, e.g.: <PRE> ! TeX capacity exceeded, sorry [save size=5000]. </PRE> -You then need to edit the LaTeX configuration file that defines the +You then need to edit the TeX configuration file that defines the buffer sizes so as to increase the value of the relevant buffer. <P> <STRONG>Note</STRONG>: the actual name and location of the -configuration file will vary depending on the available LaTeX +configuration file will vary depending on the available TeX distribution: possible names include <CODE>texmf.cnf</CODE>, <CODE>texmf.cfg</CODE> and <CODE>20sizes.cnf</CODE>. <P> @@ -213,8 +213,10 @@ by editing the configuration file so that the relevant line becomes save_size = 10000 % for saving values outside current group </PRE> Any change to such configuration files should be followed by running -the command +a command like <PRE> texconfig init </PRE> -for the change to become effective. +for the change to become effective (on some systems the +<CODE>texconfig-sys</CODE> command should be used to configure TeX +system-wide). diff --git a/htdocs/FAQ.raw b/htdocs/FAQ.raw index 7d25bbc..665f654 100644 --- a/htdocs/FAQ.raw +++ b/htdocs/FAQ.raw @@ -51,7 +51,7 @@ our answers are unclear or not to the point. <A HREF="#Documentation">Documentation</A> <UL> <LI> - <A HREF="#LaTeX-Error">I get a LaTeX error message when trying + <A HREF="#TeX-Error">I get a TeX error message when trying to build the documentation from scratch. How can I fix it?</A> </LI> </UL> @@ -287,16 +287,16 @@ The situation changes depending on what Prolog system X-Prolog is: <H2>Documentation</H2> <P> -<A NAME="LaTeX-Error"> +<A NAME="TeX-Error"> <B>Q:</B> -<STRONG><FONT COLOR=red>I get a LaTeX error message when trying to build +<STRONG><FONT COLOR=red>I get a TeX error message when trying to build the documentation. How can I fix it?</FONT></STRONG> <BR> <B>A:</B> See the discussion near to the end of the distributed file <A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=blob;f=doc/README.doc…"><CODE>doc/README.doc</CODE></A>, -also reported <A HREF="Documentation/how_to_get_it#LaTeX-Error">here</A>. +also reported <A HREF="Documentation/how_to_get_it#TeX-Error">here</A>. <A NAME="Performance">

1 0

[GIT] ppl/ppl(master): Improved.
by Roberto Bagnara 14 Apr '09

14 Apr '09

Module: ppl/ppl Branch: master Commit: 23cb7dad8cf9db38bca9ac8e59c5602edb860910 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=23cb7dad8cf9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 14 14:09:48 2009 +0200 Improved. --- doc/README.doc | 13 +++++++------ 1 files changed, 7 insertions(+), 6 deletions(-) diff --git a/doc/README.doc b/doc/README.doc index 3fd2c80..57f95ff 100644 --- a/doc/README.doc +++ b/doc/README.doc @@ -56,7 +56,7 @@ The Documentation You May Build Yourself ======================================== When all else fails (which is the case, for example, when you are -using a git version [1]) then you may build the documentation by +using a Git version [1]) then you may build the documentation by yourself. In order to do that, you should have a recent version of Doxygen [2] and, if you want to build the HTML documentation, a recent version of Graphviz [3]. When you have all the tools installed and @@ -100,16 +100,16 @@ command `make world' will build all the available documentation in all of the above formats. It is possible that, while compiling some PostScript or PDF -documentation, LaTeX dies with a "TeX capacity exceeded" error +documentation, TeX dies with a "TeX capacity exceeded" error message. The error should contain the indication of the TeX buffer whose capacity has been exceeded, e.g.: ! TeX capacity exceeded, sorry [save size=5000]. -You then need to edit the LaTeX configuration file that defines the +You then need to edit the TeX configuration file that defines the buffer sizes so as to increase the value of the relevant buffer. Note: the actual name and location of the configuration file will vary -depending on the available LaTeX distribution: possible names include +depending on the available TeX distribution: possible names include texmf.cnf, texmf.cfg and 20sizes.cnf. Continuing our example, we can double save_size by editing the configuration file so that the relevant line becomes @@ -117,11 +117,12 @@ relevant line becomes save_size = 10000 % for saving values outside current group Any change to such configuration files should be followed by running -the command +a command like texconfig init -for the change to become effective. +for the change to become effective (on some systems the `texconfig-sys' +command should be used to configure TeX system-wide). --------

1 0

[GIT] ppl/w3ppl(master): Synchronized with doc/README.doc.
by Enea Zaffanella 14 Apr '09

14 Apr '09

Module: ppl/w3ppl Branch: master Commit: 1bd6b29f9d2a380c49bebcf6ff5ba1c4c03ce38f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=1bd6b29f9d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Apr 14 14:08:41 2009 +0200 Synchronized with doc/README.doc. --- htdocs/Documentation/how_to_get_it.raw | 13 +++++++++---- 1 files changed, 9 insertions(+), 4 deletions(-) diff --git a/htdocs/Documentation/how_to_get_it.raw b/htdocs/Documentation/how_to_get_it.raw index 0e91926..c20f539 100644 --- a/htdocs/Documentation/how_to_get_it.raw +++ b/htdocs/Documentation/how_to_get_it.raw @@ -199,11 +199,16 @@ has been exceeded, e.g.: <PRE> ! TeX capacity exceeded, sorry [save size=5000]. </PRE> -You than need to edit the file that defines the buffer sizes -(<CODE>texmf.cnf</CODE> on teTeX, <CODE>20sizes.cnf</CODE> on TeX Live) -increasing the value of the corresponding buffer. +You then need to edit the LaTeX configuration file that defines the +buffer sizes so as to increase the value of the relevant buffer. +<P> +<STRONG>Note</STRONG>: the actual name and location of the +configuration file will vary depending on the available LaTeX +distribution: possible names include <CODE>texmf.cnf</CODE>, +<CODE>texmf.cfg</CODE> and <CODE>20sizes.cnf</CODE>. +<P> Continuing our example, we can double <CODE>save_size</CODE> -by editing <CODE>texmf.cfg</CODE> so that the relevant line becomes +by editing the configuration file so that the relevant line becomes <PRE> save_size = 10000 % for saving values outside current group </PRE>

1 0

[GIT] ppl/ppl(master): Updated to refer to git and to mention possible names of TeX config files.
by Enea Zaffanella 14 Apr '09

14 Apr '09

Module: ppl/ppl Branch: master Commit: b0a1463d9ba42c938bbaf8fb6c88f3078581c4ea URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b0a1463d9ba4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Apr 14 14:03:33 2009 +0200 Updated to refer to git and to mention possible names of TeX config files. --- doc/README.doc | 25 +++++++++++++++---------- 1 files changed, 15 insertions(+), 10 deletions(-) diff --git a/doc/README.doc b/doc/README.doc index 57c60ad..3fd2c80 100644 --- a/doc/README.doc +++ b/doc/README.doc @@ -56,7 +56,7 @@ The Documentation You May Build Yourself ======================================== When all else fails (which is the case, for example, when you are -using a CVS version [1]) then you may build the documentation by +using a git version [1]) then you may build the documentation by yourself. In order to do that, you should have a recent version of Doxygen [2] and, if you want to build the HTML documentation, a recent version of Graphviz [3]. When you have all the tools installed and @@ -97,17 +97,22 @@ For example, the command will build both kinds of manuals in a PDF format. Alternatively, the command `make world' will build all the available documentation in all -of the above formats. It is possible that, while compiling some -PostScript or PDF documentation, LaTeX dies with a "TeX capacity -exceeded" error message. The error should contain the indication of -the TeX buffer whose capacity has been exceeded, e.g.: +of the above formats. + +It is possible that, while compiling some PostScript or PDF +documentation, LaTeX dies with a "TeX capacity exceeded" error +message. The error should contain the indication of the TeX buffer +whose capacity has been exceeded, e.g.: ! TeX capacity exceeded, sorry [save size=5000]. -You than need to edit the file that defines the buffer sizes -(texmf.cnf on teTeX, 20sizes.cnf on TeX Live) increasing the value of -the corresponding buffer. Continuing our example, we can double -save_size by editing texmf.cfg so that the relevant line becomes +You then need to edit the LaTeX configuration file that defines the +buffer sizes so as to increase the value of the relevant buffer. +Note: the actual name and location of the configuration file will vary +depending on the available LaTeX distribution: possible names include +texmf.cnf, texmf.cfg and 20sizes.cnf. Continuing our example, we can +double save_size by editing the configuration file so that the +relevant line becomes save_size = 10000 % for saving values outside current group @@ -120,7 +125,7 @@ for the change to become effective. -------- -[1] http://www.cs.unipr.it/ppl/Download/cvs +[1] http://www.cs.unipr.it/ppl/Download/Git [2] http://www.doxygen.org/ [3] http://www.research.att.com/sw/tools/graphviz/

1 0

[GIT] ppl/w3ppl(master): Mention the `TeX capacity exceeded' problem in the FAQ.
by Enea Zaffanella 14 Apr '09

14 Apr '09

Module: ppl/w3ppl Branch: master Commit: a9116a2df725e8736dcea833088207ee50f874f0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=a9116a2df7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Apr 14 13:16:20 2009 +0200 Mention the `TeX capacity exceeded' problem in the FAQ. --- htdocs/Documentation/how_to_get_it.raw | 25 +++++++++++++++++++++++++ htdocs/FAQ.raw | 25 +++++++++++++++++++++++++ 2 files changed, 50 insertions(+), 0 deletions(-) diff --git a/htdocs/Documentation/how_to_get_it.raw b/htdocs/Documentation/how_to_get_it.raw index 1ec2ff5..0e91926 100644 --- a/htdocs/Documentation/how_to_get_it.raw +++ b/htdocs/Documentation/how_to_get_it.raw @@ -188,3 +188,28 @@ there are similar targets using the prefix `<code>devref</code>' instead of `<code>user</code>'. Finally, the command `<CODE>make world</CODE>' will build all the available documentation in all of the above formats. + +<A NAME="LaTeX-Error"> +<H3>A Common LaTeX Error Message and Its Solution</H3> + +While compiling some PostScript or PDF documentation, it is possible that +LaTeX dies with a <CODE>TeX capacity exceeded</CODE> error message. +The error should contain the indication of the TeX buffer whose capacity +has been exceeded, e.g.: +<PRE> + ! TeX capacity exceeded, sorry [save size=5000]. +</PRE> +You than need to edit the file that defines the buffer sizes +(<CODE>texmf.cnf</CODE> on teTeX, <CODE>20sizes.cnf</CODE> on TeX Live) +increasing the value of the corresponding buffer. +Continuing our example, we can double <CODE>save_size</CODE> +by editing <CODE>texmf.cfg</CODE> so that the relevant line becomes +<PRE> + save_size = 10000 % for saving values outside current group +</PRE> +Any change to such configuration files should be followed by running +the command +<PRE> + texconfig init +</PRE> +for the change to become effective. diff --git a/htdocs/FAQ.raw b/htdocs/FAQ.raw index 76e95f4..7d25bbc 100644 --- a/htdocs/FAQ.raw +++ b/htdocs/FAQ.raw @@ -48,6 +48,15 @@ our answers are unclear or not to the point. </UL> </LI> <LI> + <A HREF="#Documentation">Documentation</A> + <UL> + <LI> + <A HREF="#LaTeX-Error">I get a LaTeX error message when trying + to build the documentation from scratch. How can I fix it?</A> + </LI> + </UL> + </LI> + <LI> <A HREF="#Performance">Performance</A> <UL> <LI> @@ -274,6 +283,22 @@ The situation changes depending on what Prolog system X-Prolog is: </DL> +<A NAME="Documentation"> +<H2>Documentation</H2> + +<P> +<A NAME="LaTeX-Error"> +<B>Q:</B> +<STRONG><FONT COLOR=red>I get a LaTeX error message when trying to build +the documentation. How can I fix it?</FONT></STRONG> + +<BR> +<B>A:</B> +See the discussion near to the end of the distributed file +<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=blob;f=doc/README.doc…"><CODE>doc/README.doc</CODE></A>, +also reported <A HREF="Documentation/how_to_get_it#LaTeX-Error">here</A>. + + <A NAME="Performance"> <H2>Performance</H2>

1 0

[GIT] ppl/w3ppl(master): Corrected a few typos.
by Enea Zaffanella 14 Apr '09

14 Apr '09

Module: ppl/w3ppl Branch: master Commit: cf0d064e5330d051e1ae570d2f583cc4299eb5a5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=cf0d064e53… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Apr 14 11:56:40 2009 +0200 Corrected a few typos. --- htdocs/Applications/Applications.raw | 2 +- htdocs/Documentation/how_to_get_it.raw | 2 +- htdocs/FAQ.raw | 2 +- htdocs/MailingLists/MailingLists.raw | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/htdocs/Applications/Applications.raw b/htdocs/Applications/Applications.raw index 05eab76..db120d1 100644 --- a/htdocs/Applications/Applications.raw +++ b/htdocs/Applications/Applications.raw @@ -28,7 +28,7 @@ Here are the ones we are aware of. (Middle End Lisp Translator), an experimental branch of <A HREF="http://gcc.gnu.org/">GCC</A> (the GNU Compiler Collection), will use the Parma Polyhedra Library for global - static analyis. + static analysis. </LI> <P> <LI> diff --git a/htdocs/Documentation/how_to_get_it.raw b/htdocs/Documentation/how_to_get_it.raw index 2b15cfc..1ec2ff5 100644 --- a/htdocs/Documentation/how_to_get_it.raw +++ b/htdocs/Documentation/how_to_get_it.raw @@ -118,7 +118,7 @@ In order to do that, you should have recent versions of <A HREF="http://www.doxygen.org/">Doxygen</A> and <A HREF="http://www.research.att.com/sw/tools/graphviz/">Graphviz</A> (you will also need <code>ocamldoc</code> if you plan to build the -OCaml interface manauls). +OCaml interface manuals). When you have all the tools installed and running, you should follow the following procedure. diff --git a/htdocs/FAQ.raw b/htdocs/FAQ.raw index 71b6eb9..76e95f4 100644 --- a/htdocs/FAQ.raw +++ b/htdocs/FAQ.raw @@ -86,7 +86,7 @@ our answers are unclear or not to the point. <BR> <B>A:</B> It is `<EM><STRONG>Parma Polyhedra Library</STRONG></EM>', -spelled exactly as indicated and possibly abbrieviated with +spelled exactly as indicated and possibly abbreviated with the acronym `<EM><STRONG>PPL</STRONG></EM>'. In particular, the name of the library is <STRONG>neither</STRONG> `<S>Parma</S>' (which is, instead, the name of the nice town in diff --git a/htdocs/MailingLists/MailingLists.raw b/htdocs/MailingLists/MailingLists.raw index c48f87b..8a3db23 100644 --- a/htdocs/MailingLists/MailingLists.raw +++ b/htdocs/MailingLists/MailingLists.raw @@ -42,7 +42,7 @@ and </H2> This is the the mailing list where all the messages concerning the -development of the PPL shoud be directed: technical issues, bug +development of the PPL should be directed: technical issues, bug reports, users' feedback, clarifications on the use of the library or requests for new features... all these should be sent to the list (and not to individual developers).

1 0

[GIT] ppl/w3ppl(master): Unwanted command commented out.
by Roberto Bagnara 14 Apr '09

14 Apr '09

Module: ppl/w3ppl Branch: master Commit: 2be4422419dcb77f535893d3839e827be05ef8a0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=2be4422419… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 14 11:23:44 2009 +0200 Unwanted command commented out. --- bin/update_web_site | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/bin/update_web_site b/bin/update_web_site index 802a55a..24e030b 100755 --- a/bin/update_web_site +++ b/bin/update_web_site @@ -226,7 +226,7 @@ make -j 8 >&MAKELOG.library # fi # Build the doxygen documentation. -cd ../../doc +#cd ../../doc cd doc make world >&MAKELOG.documentation

1 0

[GIT] ppl/w3ppl(master): Missing parentheses added.
by Roberto Bagnara 14 Apr '09

14 Apr '09

Module: ppl/w3ppl Branch: master Commit: c888202a0c7deab1967bf65d430365da491bbd91 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=c888202a0c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 14 11:07:54 2009 +0200 Missing parentheses added. --- htdocs/news.raw | 2 +- htdocs/ppl.raw | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/htdocs/news.raw b/htdocs/news.raw index 6b592cb..c70e4f8 100644 --- a/htdocs/news.raw +++ b/htdocs/news.raw @@ -16,7 +16,7 @@ of the Parma Polyhedra Library. <BR> This release includes several important improvements to PPL 0.10, among which is better portability (including the support for - cross-compilation, increased robustness, better packaging and + cross-compilation), increased robustness, better packaging and several bug fixes. </TD> </TR> diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw index 881dc42..7de4f2a 100644 --- a/htdocs/ppl.raw +++ b/htdocs/ppl.raw @@ -54,7 +54,7 @@ version 3</A> or any later version). <BR> This release includes several important improvements to PPL 0.10, among which is better portability (including the support for - cross-compilation, increased robustness, better packaging and + cross-compilation), increased robustness, better packaging and several bug fixes. </TD> </TR>

1 0