Since there is no official release, you can browse the svn repository and get sources of the ocaml/ and matita/ modules.