The Coq mailing list

[Jonathan Leivent <jonikelee AT gmail.com>]

Is there any way to compose a single fail message from multiple strings 
and terms with explicit line breaks inserted at certain points?  I tried 
"\n" (eg. below) and various direct ascii characters, but they all just 
printed out without being interpreted as line breaks.  Also, putting the 
fail args on separate lines doesn't change things.

  fail 0 "mytactic failure:" term1 "\ndid not work with" term2


-- Jonathan