Translating Jargon

[Isaac Jurado]

On Sun, Feb 8, 2009 at 1:23 PM, Martin Geisler <mg at daimi.au.dk> wrote:
>
> I think the easiest solution would be to turn the docstrings into
> normal comments. The WritingExtensions page should also be updated. I
> will be happy to do this, if people agree?

I thought the same, but I wasn't brave enough to propose it ;-P

> If anybody needs the docstrings for automatically generating API
> documentation or something like that, then we can discuss how to
> extract the strings more carefully.

Probably IDE users are the main target for such functionality.  A quick
survey can reveal how delicate would such a change be.  I personally
rarely use them.

Regards.

-- 
Isaac Jurado
http://www.krenel.net

"The noblest pleasure is the joy of understanding"
Leonardo da Vinci