[PPL-devel] w3ppl/htdocs/ppl.raw and ppl/README must be kept in sync

[Roberto Bagnara]

Who changes one should also change the other.
;-)

Enea Zaffanella wrote:
> 
> CVSROOT:        /cvs/ppl
> Module name:    w3ppl
> Changes by:     zaffanella at cs.unipr.it  2001-10-21 09:19:39
> 
> Modified files:
>         htdocs         : ppl.raw
>         htdocs/Download: Download.raw
> 
> Log message:
>         We can only specify _closed_ convex polyhedra.

-- 
Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it