From Baxter and Rennie Page 145:
$Z(t,T) = exp(\int_{0}^{t}\Sigma(s,T)dW_s - \int_{0}^{T}f(o,u)du - \int_{0}^{t}\int_{s}^{T}\alpha(s,u)duds)$
where $\Sigma(t,T) = \int_{t}^{T}\sigma(t,u)du$
How to get from here to $d_tZ(t,T) = Z(t,T)(\Sigma(t,T)dW_t + (\frac{1}{2}\Sigma^2(t,T) - \int_{0}^{T}\alpha(t,u)du)dt)$
I have tried (based on the answer Baxter & Rennie HJM: differentiating Ito integral):
$Z_t = exp(-X_t)$, where $X_t = \int_{0}^{t}\int_{s}^{T}\sigma(s,u)dudW_s + \int_{0}^{T}f(0,u)du + \int_{0}^{t}\int_{s}^{T}\alpha(s,u)duds$
$X_t = f(t,W_t)$
Therefore, $dX_t = \frac{\partial}{\partial{t}}f(t,W_t)dt + \frac{\partial}{\partial{W_t}}f(t,W_t)dW_t + \frac{1}{2}\frac{\partial^2}{\partial{W_t}^2}f(t,W_t)d<W,W>_t$
Calculating $\frac{\partial}{\partial{t}}f(t,W_t)dt$:
$\frac{\partial}{\partial{t}}(\int_{0}^{T}f(0,u)du) = 0$
$\frac{\partial}{\partial{t}}(\int_{0}^{t}\int_{s}^{T}\sigma(s,u)dudW_s) = 0$
$\frac{\partial}{\partial{t}}(\int_{0}^{t}\int_{s}^{T}\alpha(s,u)duds) = \frac{\partial}{\partial{t}}(\int_{0}^{t}\widetilde{\alpha(s,u)}ds)$, where $\widetilde{\alpha(s,T)} = \int_{0}^{T}\alpha(s,u)du$
$\frac{\partial}{\partial{t}}(\int_{0}^{t}\widetilde{\alpha(s,u)}ds = \widetilde{\alpha(t,T)}\frac{\partial}{\partial{t}}t + \widetilde{\alpha(0,T)}\frac{\partial}{\partial{t}}0 + \int_{0}^{t}\frac{\partial}{\partial{t}}\widetilde{\alpha(s,T)}ds$
$\frac{\partial}{\partial{t}}(\int_{0}^{t}\widetilde{\alpha(s,u)}ds = \widetilde{\alpha(t,T)} + 0 + 0$
Therefore
$\frac{\partial}{\partial{t}}f(t,W_t)dt = \widetilde{\alpha(t,T)}dt = \int_{t}^{T}\alpha(t,u)dudt$
Calculating $\frac{\partial}{\partial{W_t}}f(t,W_t)dW_t$:
$\frac{\partial}{\partial{W_t}}(\int_{0}^{T}f(0,u)du) = 0$
$\frac{\partial}{\partial{W_t}}(\int_{0}^{t}\int_{s}^{T}\alpha(s,u)duds) = 0$
$\frac{\partial}{\partial{W_t}}(\int_{0}^{t}\int_{s}^{T}\sigma(s,u)dudW_s)$: I don't know how to calculate this term. I am not sure if we can apply the Leibniz integral rule (https://en.wikipedia.org/wiki/Leibniz_integral_rule) here, and even doing so the value comes out to be zero. Any help is appreciated.