Brooks Moses writes:
> >The current errata file (yes, some errors have already been found) can be
> >found at
> >It is not yet visible on the project web site but with the above link you
> >should be able to get it directly.
> So, how do we go about submitting the errors that we've found?
sorry, i should have added that in the mail, it is given in the tlc2.err file:
to me (i'm stupid enough to take care of it).