Subject: Handling of $gammalim and $factlim in simpgamma
From: Robert Dodier
Date: Tue, 21 Oct 2008 22:19:22 -0600
On 10/21/08, Dieter Kaiser <drdieterkaiser at web.de> wrote:
> So what do you think? Should we commit these changes?
OK by me.
Disclaimer: I am not an expert on this topic.
best
Robert Dodier