[Ur] "doxygen"

[Adam Chlipala]

Vasili I. Galchin wrote:
>      Does the "ur" compiler recognize something like "doxygen" or 
> Javadoc? If so, is the source so written to generate "living" 
> documents? If not, I would strongly suggest to so write and make 
> Url/Web links point to latest generated documentation (i.e. nightly 
> builds and possibly latest stable build). What do you think?

Nothing like that is set up now.  Personally, I find reading (suitably 
commented) .urs files directly to be an effective enough way to learn 
about code interfaces.