On Fri, Jun 14, 2013 at 8:40 PM, Jason Merrill <ja...@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