>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:
Martin> On Wed, Jul 30, 2003 at 02:10:58PM +0200, Juergen Spitzmueller Martin> spake thusly: >> >> Juergen Spitzmueller wrote: >> > BTW: is "Note" > "Yellow Note", "LaTeX Comment", "Greyedout" now >> our > official terminology[1] >> >> We should probably also take into account that Comment also works >> with Docbook, so "LaTeX Comment" might be a bit irritating (just >> "Comment" is better). >> >> Juergen. Martin> Better this way? Yes, except that the following line lacks a quote: + Item Comment|C" "note-insert Comment" JMarc
