[PURRS-devel] purrs ./Makefile.am ./README ./configure.ac de ...
Roberto Bagnara
bagnara at cs.unipr.it
Tue Jan 1 13:40:15 CET 2008
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: bagnara at 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
More information about the PURRS-devel
mailing list