*To*: "cl-isabelle-users at lists.cam.ac.uk" <cl-isabelle-users at lists.cam.ac.uk>*Subject*: [isabelle] LaTeX specialised table env params vs Isabelle anti-quotations*From*: Leo Freitas <leo.freitas at newcastle.ac.uk>*Date*: Wed, 16 Oct 2013 16:00:47 +0000*Accept-language*: en-GB, en-US*Thread-index*: AQHOyojgcqiUv6UUOEqI312tgOAR0w==*Thread-topic*: 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**

**Follow-Ups**:

- Previous by Date: [isabelle] Isabelle2013-1-RC3 available for testing
- Next by Date: Re: [isabelle] LaTeX specialised table env params vs Isabelle anti-quotations
- Previous by Thread: [isabelle] Isabelle2013-1-RC3 available for testing
- Next by Thread: Re: [isabelle] LaTeX specialised table env params vs Isabelle anti-quotations
- Cl-isabelle-users October 2013 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list