Re: [isabelle] LaTeX specialised table env params vs Isabelle anti-quotations

On Wed, 16 Oct 2013, Leo Freitas wrote:

When I have a tabular environment on the slide like


	\begin{tabular}{ at {}l@{}l at {}l@{}}   <----- ERROR….
		@{text "…."}


to try and save some space between the columns, I get the Isabelle error that I've got a

	Malformed anti quotation: @{}

I guess for the tabular parameter. How could I circumvent this (LaTeX) problem and keep Isabelle happy?

LaTeX happens to allow "@ {}" with that additional space.

Likewise for "{*" if that happens to be required in your TeX sources.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.