Doxygen Docs for OVM, VMM and Teal/Truss

This post will be short but sweet.  I've recently come across an interesting site, IntelligentDV, that has generated Doxygen documentation for the OVM, VMM and Teal/Truss.  I wasn't able to figure out whether the code required to generate the documentation (i.e. the filter for Doxygen) is on the site or not.  If it was that would certainly be something many people would be interested in.  Anyone with more details about the site and its contents?  If so, I'd appreciate it if you could leave a comment here or send me a mail at jl at coolverification dot com with more info.