On Mon, 5 Sep 2011, Felipe Monteiro de Carvalho wrote: > On Mon, Sep 5, 2011 at 9:32 AM, <michael.vancanneyt at wisa.be> wrote: >> It's simply an empty skeleton file. That's not enough. Every identifier must >> be documented. > > Is rev822 good enough? Formally, yes. Michael.