[PURRS-devel] purrs/src Recurrence.cc
Alessandro Zaccagnini
zaccagnini at spartacus.cs.unipr.it
Fri Jul 18 16:13:27 CEST 2003
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zaccagnini at cs.unipr.it 2003-07-18 16:13:27
Modified files:
src : Recurrence.cc
Log message:
Suggested alternative approach to problem with automatic verification
of the solution (commented out).
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsroot=purrs&r1=1.89&r2=1.90
More information about the PURRS-devel
mailing list