Output from target in MI mode

[Vladimir Prus <ghost@cs.msu.su>]

Hi, 
the docs, in "MI Stream records", say:

 `"@" STRING-OUTPUT'
      The target output stream contains any textual output from the
      running target.

However, when I compile and run the following command:

  #include <stdio.h>

  int main()
  {
    printf("Hi\n");
    return 0;
  }

I see this:

   (gdb)
   -exec-run
   ^running
   (gdb)
   Hi
   *stopped,reason="exited-normally"
   (gdb)

The output from target is not prepended by "@". Gdb version is 6.3.
Is this a bug, or out-of-date docs, or I read the docs incorrectly?

- Volodya