This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [c++-concepts] code review


On Fri, Jun 14, 2013 at 8:40 PM, Jason Merrill <jason@redhat.com> wrote:

>> +//  \Gamma, P |- Delta    \Gamma, Q |- \Delta
>
>
> Are the \ for TeX markup or something?  You're missing one on the left Delta
> here.

yes, I think the backslash was for LaTeX, but we get warnings about having
backslash in comments, so I think we can safely leave them out.

-- Gaby


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]