[PPL-devel] Sample examples of use of PPL

[Roberto Bagnara]

Étienne André wrote:
> I join you the ./configure log.

Hi Étienne,

this is not the file I asked you.  What I need is named
`config.log' (not `configure.log') and is generated automatically
at configuration time by the script named `configure'.
All the best,

    Roberto

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it