  The global stability of the nonhomogeneous positive steady state solution to
a diffusive Holling-Tanner predator-prey model in a heterogeneous environment
is proved by using a newly constructed Lyapunov function and estimates of
nonconstant steady state solutions. The techniques developed here can be
adapted for other spatially heterogeneous consumer-resource models.
