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?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.defs.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Finite_Order_Info.defs.h... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Infinite_Order_Info.defs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Makefile.am.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Number.defs.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Symbol.defs.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/finite_order.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/globals.hh.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?cv...