>>>>> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:

Lars> Why? (some internal comments that should not go to the general
Lars> public?)

Or some parts of a document you are not sure you want to keep around,
and you do not want to have in the LaTeX file (bloat? secret?). Some
kind of poor man's version control... I just mentionned that because
it is so easy with new insets.

JMarc

Reply via email to