February 2003 - PPL-devel - BUGSENG Mailman

ppl/doc bib2dox bib2html2.sed
by Roberto Bagnara 21 Feb '03

21 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-21 18:12:54 Modified files: doc : bib2dox bib2html2.sed Log message: Produce cross-references that work well with any Doxygen output. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/bib2dox.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/bib2html2.sed.diff?cvsroo…

1 0

Spacing problem with Doxygen 1.3-rc3-20030215
by Roberto Bagnara 21 Feb '03

21 Feb '03

Dear Dimitri, there are a couple of spacing problems affecting the LaTeX output. This is demonstrated by the attached testcase. What happens is that something like two emphasized words, and other words is translated into two {\em emphasized words} , and other words There are two problems here: the first and most important is that the space between the closed curly bracket and the comma should not be there since LaTeX will put unwanted space before the comma and, even worse, may break the line before the comma. This problem applies also to other HTML tags such as , and . The other problem is that either the LaTeX anachronism {\em emphasized text} should be avoided in favor of \emph{emphasized text} or, if that is impossible for some reason (e.g., you want to support very old versions of LaTeX), an italic correction should be inserted, as in {\em emphasized text\/} This problem affects both and . The attached patch solves both problems. Can this be applied before the release? All the best Roberto -- 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

Additional patch for spacing problems
by Roberto Bagnara 21 Feb '03

21 Feb '03

Dear Dimitri, a related spacing problem can be seen by having something like [\ref BRZH02c] in the source. Again, there is a spurious space after the closed curly bracket [{\bf BRZH02c} ] This can be fixed by applying the attached patch, in addition to the one I sent before. Cheers Roberto -- 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

ppl doc/definitions.dox src/Polyhedron.defs.hh
by Enea Zaffanella 21 Feb '03

21 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-02-21 16:09:33 Modified files: doc : definitions.dox src : Polyhedron.defs.hh Log message: In the documentation, added explanation for the BHRZ03 widening and the widening with tokens technique. Broken <a name=...> links replaced by \ref and \anchor. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl ltmain.sh
by Roberto Bagnara 21 Feb '03

21 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-21 11:55:41 Modified files: . : ltmain.sh Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ltmain.sh.diff?cvsroot=ppl&r1…

1 0

ppl configure.ac
by Roberto Bagnara 21 Feb '03

21 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-21 11:51:37 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

ppl/src Polyhedron.cc Polyhedron.defs.hh
by Enea Zaffanella 21 Feb '03

21 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-02-21 10:12:10 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Log message: The widening-with-tokens delay technique is now also available for the standard widening as well as the ``limited'' and ``bounded'' variants. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl TODO
by Patricia Hill 21 Feb '03

21 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-02-21 09:28:20 Modified files: . : TODO Log message: Items dealt with removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.29…

1 0

ppl/interfaces/Prolog Prolog_interface.dox pl_ ...
by Patricia Hill 21 Feb '03

21 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-02-21 09:22:03 Modified files: interfaces/Prolog: Prolog_interface.dox pl_check.pl Log message: Prolog_interface.dox: Added simple descriptions for the timeout predicates. Atom added to the syntax of the language specification. pl_check.pl Several small improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

w3ppl/htdocs/Download requirements.raw
by Roberto Bagnara 21 Feb '03

21 Feb '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-02-21 08:25:20 Modified files: htdocs/Download: requirements.raw Log message: We have tested the library also on a DEC Alpha AXP running DEC OSF/1 V4.0. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0