[PPL-devel] Summary Panel for Tree: PPL-HEAD

[Roberto Bagnara]

This is how it should be, all green:

   <http://www.cs.unipr.it/~tinderbox/all_trees.panel.html>

Cheers,

     Roberto

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