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



Hi,

I am preparing some slides using Isabelle, where my theory file is where the slides will come from.
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?

Many thanks
Leo

Attachment: signature.asc
Description: Message signed with OpenPGP using GPGMail



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