CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2004-08-17 09:46:39

Modified files: src : H79_Certificate.defs.hh H79_Certificate.inlines.hh H79_Certificate.cc BHRZ03_Certificate.defs.hh BHRZ03_Certificate.inlines.hh

Log message: H79_Certificate simplified by removing useless methods. The documentation of BHRZ03_Certificate method is_stabilizing() now only appears in the developers manual. Both classes now appear in the user manual, as they provide documentation of the method needed by any new certificate.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.defs.hh.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.inlines.hh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BHRZ03_Certificate.defs.hh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BHRZ03_Certificate.inlines...