[Axiom-developer] Re: noweb "bug"

[root]

> OK. Could you tell me how recent the sources are in book--main--1.
> I have unfortunately never worked with tla except for 'tla get' and I am 
> learning very slowly.

re: learning. no problem. you could even document it :-)

> 
> If you don't mind, I'll put bookvol4 into src/doc and change everything 
> as I would like to have it.

ok. 

> 
> As I understood, I am allowed to commit freely to book--main--1 or is 
> there any procedure I should follow?

not yet. we can work that out as we go. just post that you've updated
it so we know to fetch the latest version.

t