This paper uses martingale calculus in order to study the Markov properties of diffusion local time first discovered by Ray and Knight. The approach enables us to calculate the laws of the processes involved and is easily modified to deal with conditioning with respect to the excursion σ-fields.