I wrote: > Some time ago, we decided to use the convention that functions and > variables whose names start with tla-- were internal functions, and > tla- were "public" functions.
[...] > So, now, I think we should just get rid of this convention and use a > single dash everywhere. I got no answer to this question. Does this mean everyone agrees? -- Matthieu