[seL4] up-to-date formal verification

Hi,

I would like to know if the verification of the seL4 is up-to-date with the newest version of the sel4 microkernel (3.2.0). If so, how do I access it? When I run make ASpec in l4v, I get a pdf with the Abstract Formal Specification in version 1.3. Does it refer to the seL4 microkernel version 1.3 or has the Abstract Formal Specification its own versions?

Also, what is the best way to explore this specification in Isabelle/jedit?

thanks in advance

Horace Blanc