CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-11-04 14:58:07 Modified files: doc : definitions.dox src : Expr.defs.hh Finite_Order_Info.defs.hh Infinite_Order_Info.defs.hh Makefile.am Number.defs.hh Recurrence.cc Recurrence.defs.hh Symbol.defs.hh finite_order.cc globals.hh rr_classifier.cc Log message: Several changes in the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/definitions.dox.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.defs.hh.diff?cvsroot=purrs&r1=1.103&r2=1.104 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Finite_Order_Info.defs.hh.diff?cvsroot=purrs&r1=1.26&r2=1.27 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Infinite_Order_Info.defs.hh.diff?cvsroot=purrs&r1=1.12&r2=1.13 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Makefile.am.diff?cvsroot=purrs&r1=1.49&r2=1.50 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Number.defs.hh.diff?cvsroot=purrs&r1=1.33&r2=1.34 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsroot=purrs&r1=1.113&r2=1.114 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff?cvsroot=purrs&r1=1.116&r2=1.117 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Symbol.defs.hh.diff?cvsroot=purrs&r1=1.16&r2=1.17 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/finite_order.cc.diff?cvsroot=purrs&r1=1.22&r2=1.23 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/globals.hh.diff?cvsroot=purrs&r1=1.14&r2=1.15 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?cvsroot=purrs&r1=1.66&r2=1.67