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

text{*
	…..

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

	…..
*}

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.


    Makarius


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