CVSROOT: /cvs/purrs Module name: purrs Changes by: bagnara@cs.unipr.it 2008-01-01 13:40:15 Modified files: . : Makefile.am README configure.ac demos : Makefile.am purrs_eqs_cgi.cc purrs_rrs_cgi.cc doc : Makefile.am definitions.dox devref.tex user.tex infrastructure : depinst interfaces : Makefile.am interfaces/Prolog: Makefile.am m4 : Makefile.am ac_check_gmp.m4 ac_check_use_readline.m4 src : Blackboard.cc Blackboard.defs.hh Blackboard.inlines.hh Blackboard.types.hh Bool3.cc Bool3.defs.hh Bool3.inlines.hh Bool3.types.hh Cached_Expr.cc Cached_Expr.defs.hh Cached_Expr.inlines.hh Cached_Expr.types.hh Constant.cc Constant.defs.hh Constant.inlines.hh Constant.types.hh Expr.cc Expr.defs.hh Expr.inlines.hh Expr.types.hh Expr_List.cc Expr_List.defs.hh Expr_List.inlines.hh Expr_List.types.hh Finite_Order_Info.cc Finite_Order_Info.defs.hh Finite_Order_Info.inlines.hh Finite_Order_Info.types.hh Functional_Equation_Info.cc Functional_Equation_Info.defs.hh Functional_Equation_Info.inlines.hh Functional_Equation_Info.types.hh Init.cc Init.defs.hh Init.inlines.hh Init.types.hh Makefile.am Matrix.cc Matrix.defs.hh Matrix.inlines.hh Matrix.types.hh Non_Linear_Info.cc Non_Linear_Info.defs.hh Non_Linear_Info.inlines.hh Non_Linear_Info.types.hh Number.cc Number.defs.hh Number.inlines.hh Number.types.hh Recurrence.cc Recurrence.defs.hh Recurrence.inlines.hh Recurrence.types.hh Symbol.cc Symbol.defs.hh Symbol.inlines.hh Symbol.types.hh Weighted_Average_Info.cc Weighted_Average_Info.defs.hh Weighted_Average_Info.inlines.hh Weighted_Average_Info.types.hh alg_eq_solver.cc alg_eq_solver.hh compute_bounds.cc compute_exact_solution.cc compute_prod.cc compute_prod.hh ep_decomp.cc ep_decomp.hh fact_decomp.cc fact_decomp.hh factorize.cc factorize.hh factorize_giac.cc factorize_giac.hh finite_order.cc finite_order.hh functional_equation.cc functional_equation.hh globals.cc globals.hh gosper.cc gosper.hh initializer.hh numerator_denominator.cc numerator_denominator.hh poly_factor.cc purrs_header.top rr_classifier.cc simplify.cc simplify.hh size_norm.cc size_norm.hh size_norm_impl.hh sum_poly.cc sum_poly.hh timings.hh tsc.hh util.cc util.hh verify.cc zeilberger.cc zeilberger.hh src/Intervals : Boundary.cc Boundary.defs.hh Boundary.inlines.hh Boundary.types.hh IEEE754.h Interval.cc Interval.defs.hh Interval.inlines.hh Interval.types.hh Makefile.am round.h src/Intervals/sysdep: Makefile.am alpha.h c99.h ix86.h m68k.h sparc.h tests : Makefile.am ehandlers.cc ehandlers.hh eqs_driver.cc gosper_driver.cc multivar_driver.cc rr_filter.cc rrs_driver.cc simplify_driver.cc zeilberger_driver.cc Log message: Copyright years extended. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/Makefile.am.diff?cvsroot=purrs&r1=1.4&r2=1.5 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/README.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/configure.ac.diff?cvsroot=purrs&r1=1.20&r2=1.21 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/Makefile.am.diff?cvsroot=purrs&r1=1.8&r2=1.9 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/purrs_eqs_cgi.cc.diff?cvsroot=purrs&r1=1.14&r2=1.15 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/purrs_rrs_cgi.cc.diff?cvsroot=purrs&r1=1.49&r2=1.50 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/Makefile.am.diff?cvsroot=purrs&r1=1.9&r2=1.10 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/definitions.dox.diff?cvsroot=purrs&r1=1.17&r2=1.18 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/devref.tex.diff?cvsroot=purrs&r1=1.5&r2=1.6 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/user.tex.diff?cvsroot=purrs&r1=1.5&r2=1.6 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/infrastructure/depinst.diff?cvsroot=purrs&r1=1.11&r2=1.12 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/interfaces/Makefile.am.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/interfaces/Prolog/Makefile.am.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/m4/Makefile.am.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/m4/ac_check_gmp.m4.diff?cvsroot=purrs&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/m4/ac_check_use_readline.m4.diff?cvsroot=purrs&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Blackboard.cc.diff?cvsroot=purrs&r1=1.11&r2=1.12 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Blackboard.defs.hh.diff?cvsroot=purrs&r1=1.15&r2=1.16 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Blackboard.inlines.hh.diff?cvsroot=purrs&r1=1.10&r2=1.11 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Blackboard.types.hh.diff?cvsroot=purrs&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Bool3.cc.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Bool3.defs.hh.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Bool3.inlines.hh.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Bool3.types.hh.diff?cvsroot=purrs&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Cached_Expr.cc.diff?cvsroot=purrs&r1=1.4&r2=1.5 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Cached_Expr.defs.hh.diff?cvsroot=purrs&r1=1.7&r2=1.8 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Cached_Expr.inlines.hh.diff?cvsroot=purrs&r1=1.5&r2=1.6 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Cached_Expr.types.hh.diff?cvsroot=purrs&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Constant.cc.diff?cvsroot=purrs&r1=1.6&r2=1.7 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Constant.defs.hh.diff?cvsroot=purrs&r1=1.13&r2=1.14 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Constant.inlines.hh.diff?cvsroot=purrs&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Constant.types.hh.diff?cvsroot=purrs&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.cc.diff?cvsroot=purrs&r1=1.70&r2=1.71 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.defs.hh.diff?cvsroot=purrs&r1=1.126&r2=1.127 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.inlines.hh.diff?cvsroot=purrs&r1=1.97&r2=1.98 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.types.hh.diff?cvsroot=purrs&r1=1.4&r2=1.5 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr_List.cc.diff?cvsroot=purrs&r1=1.4&r2=1.5 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr_List.defs.hh.diff?cvsroot=purrs&r1=1.16&r2=1.17 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr_List.inlines.hh.diff?cvsroot=purrs&r1=1.13&r2=1.14 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr_List.types.hh.diff?cvsroot=purrs&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Finite_Order_Info.cc.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Finite_Order_Info.defs.hh.diff?cvsroot=purrs&r1=1.30&r2=1.31 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Finite_Order_Info.inlines.hh.diff?cvsroot=purrs&r1=1.24&r2=1.25 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Finite_Order_Info.types.hh.diff?cvsroot=purrs&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Functional_Equation_Info.cc.diff?cvsroot=purrs&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Functional_Equation_Info.defs.hh.diff?cvsroot=purrs&r1=1.15&r2=1.16 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Functional_Equation_Info.inlines.hh.diff?cvsroot=purrs&r1=1.12&r2=1.13 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Functional_Equation_Info.types.hh.diff?cvsroot=purrs&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Init.cc.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Init.defs.hh.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Init.inlines.hh.diff?cvsroot=purrs&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Init.types.hh.diff?cvsroot=purrs&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Makefile.am.diff?cvsroot=purrs&r1=1.56&r2=1.57 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Matrix.cc.diff?cvsroot=purrs&r1=1.9&r2=1.10 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Matrix.defs.hh.diff?cvsroot=purrs&r1=1.16&r2=1.17 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Matrix.inlines.hh.diff?cvsroot=purrs&r1=1.12&r2=1.13 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Matrix.types.hh.diff?cvsroot=purrs&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Non_Linear_Info.cc.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Non_Linear_Info.defs.hh.diff?cvsroot=purrs&r1=1.15&r2=1.16 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Non_Linear_Info.inlines.hh.diff?cvsroot=purrs&r1=1.13&r2=1.14 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Non_Linear_Info.types.hh.diff?cvsroot=purrs&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Number.cc.diff?cvsroot=purrs&r1=1.11&r2=1.12 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Number.defs.hh.diff?cvsroot=purrs&r1=1.37&r2=1.38 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Number.inlines.hh.diff?cvsroot=purrs&r1=1.32&r2=1.33 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Number.types.hh.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsroot=purrs&r1=1.194&r2=1.195 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff?cvsroot=purrs&r1=1.190&r2=1.191 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.inlines.hh.diff?cvsroot=purrs&r1=1.115&r2=1.116 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.types.hh.diff?cvsroot=purrs&r1=1.5&r2=1.6 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Symbol.cc.diff?cvsroot=purrs&r1=1.6&r2=1.7 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Symbol.defs.hh.diff?cvsroot=purrs&r1=1.19&r2=1.20 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Symbol.inlines.hh.diff?cvsroot=purrs&r1=1.10&r2=1.11 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Symbol.types.hh.diff?cvsroot=purrs&r1=1.4&r2=1.5 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Weighted_Average_Info.cc.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Weighted_Average_Info.defs.hh.diff?cvsroot=purrs&r1=1.6&r2=1.7 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Weighted_Average_Info.inlines.hh.diff?cvsroot=purrs&r1=1.6&r2=1.7 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Weighted_Average_Info.types.hh.diff?cvsroot=purrs&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/alg_eq_solver.cc.diff?cvsroot=purrs&r1=1.75&r2=1.76 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/alg_eq_solver.hh.diff?cvsroot=purrs&r1=1.15&r2=1.16 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?cvsroot=purrs&r1=1.58&r2=1.59 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.cc.diff?cvsroot=purrs&r1=1.72&r2=1.73 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_prod.cc.diff?cvsroot=purrs&r1=1.25&r2=1.26 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_prod.hh.diff?cvsroot=purrs&r1=1.4&r2=1.5 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/ep_decomp.cc.diff?cvsroot=purrs&r1=1.8&r2=1.9 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/ep_decomp.hh.diff?cvsroot=purrs&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/fact_decomp.cc.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/fact_decomp.hh.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/factorize.cc.diff?cvsroot=purrs&r1=1.12&r2=1.13 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/factorize.hh.diff?cvsroot=purrs&r1=1.4&r2=1.5 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/factorize_giac.cc.diff?cvsroot=purrs&r1=1.5&r2=1.6 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/factorize_giac.hh.diff?cvsroot=purrs&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/finite_order.cc.diff?cvsroot=purrs&r1=1.38&r2=1.39 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/finite_order.hh.diff?cvsroot=purrs&r1=1.9&r2=1.10 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/functional_equation.cc.diff?cvsroot=purrs&r1=1.13&r2=1.14 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/functional_equation.hh.diff?cvsroot=purrs&r1=1.5&r2=1.6 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/globals.cc.diff?cvsroot=purrs&r1=1.8&r2=1.9 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/globals.hh.diff?cvsroot=purrs&r1=1.17&r2=1.18 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/gosper.cc.diff?cvsroot=purrs&r1=1.69&r2=1.70 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/gosper.hh.diff?cvsroot=purrs&r1=1.12&r2=1.13 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/initializer.hh.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/numerator_denominator.cc.diff?cvsroot=purrs&r1=1.19&r2=1.20 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/numerator_denominator.hh.diff?cvsroot=purrs&r1=1.4&r2=1.5 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/poly_factor.cc.diff?cvsroot=purrs&r1=1.13&r2=1.14 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/purrs_header.top.diff?cvsroot=purrs&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?cvsroot=purrs&r1=1.104&r2=1.105 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroot=purrs&r1=1.143&r2=1.144 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.hh.diff?cvsroot=purrs&r1=1.22&r2=1.23 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/size_norm.cc.diff?cvsroot=purrs&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/size_norm.hh.diff?cvsroot=purrs&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/size_norm_impl.hh.diff?cvsroot=purrs&r1=1.4&r2=1.5 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/sum_poly.cc.diff?cvsroot=purrs&r1=1.29&r2=1.30 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/sum_poly.hh.diff?cvsroot=purrs&r1=1.10&r2=1.11 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/timings.hh.diff?cvsroot=purrs&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/tsc.hh.diff?cvsroot=purrs&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.cc.diff?cvsroot=purrs&r1=1.79&r2=1.80 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.hh.diff?cvsroot=purrs&r1=1.42&r2=1.43 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/verify.cc.diff?cvsroot=purrs&r1=1.18&r2=1.19 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/zeilberger.cc.diff?cvsroot=purrs&r1=1.11&r2=1.12 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/zeilberger.hh.diff?cvsroot=purrs&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/Boundary.cc.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/Boundary.defs.hh.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/Boundary.inlines.hh.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/Boundary.types.hh.diff?cvsroot=purrs&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/IEEE754.h.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/Interval.cc.diff?cvsroot=purrs&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/Interval.defs.hh.diff?cvsroot=purrs&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/Interval.inlines.hh.diff?cvsroot=purrs&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/Interval.types.hh.diff?cvsroot=purrs&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/Makefile.am.diff?cvsroot=purrs&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/round.h.diff?cvsroot=purrs&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/sysdep/Makefile.am.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/sysdep/alpha.h.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/sysdep/c99.h.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/sysdep/ix86.h.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/sysdep/m68k.h.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/sysdep/sparc.h.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/Makefile.am.diff?cvsroot=purrs&r1=1.30&r2=1.31 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/ehandlers.cc.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/ehandlers.hh.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/eqs_driver.cc.diff?cvsroot=purrs&r1=1.20&r2=1.21 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/gosper_driver.cc.diff?cvsroot=purrs&r1=1.10&r2=1.11 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/multivar_driver.cc.diff?cvsroot=purrs&r1=1.18&r2=1.19 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rr_filter.cc.diff?cvsroot=purrs&r1=1.5&r2=1.6 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cvsroot=purrs&r1=1.89&r2=1.90 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simplify_driver.cc.diff?cvsroot=purrs&r1=1.18&r2=1.19 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/zeilberger_driver.cc.diff?cvsroot=purrs&r1=1.6&r2=1.7