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

21 Oct 2001


      Who changes one should also change the other.
;-)
Enea Zaffanella wrote:
...
CVSROOT:        /cvs/ppl
Module name:    w3ppl
Changes by:     zaffanella@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@cs.unipr.it