*To*: Leo Freitas <leo.freitas at newcastle.ac.uk>*Subject*: Re: [isabelle] LaTeX specialised table env params vs Isabelle anti-quotations*From*: Makarius <makarius at sketis.net>*Date*: Wed, 16 Oct 2013 18:53:36 +0200 (CEST)*Cc*: "cl-isabelle-users at lists.cam.ac.uk" <cl-isabelle-users at lists.cam.ac.uk>*In-reply-to*: <2F28755D-4B6B-4846-A96A-8AFBEDE08CCE@ncl.ac.uk>*References*: <2F28755D-4B6B-4846-A96A-8AFBEDE08CCE@ncl.ac.uk>*User-agent*: Alpine 2.00 (LNX 1167 2008-08-23)

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

**References**:

- Previous by Date: [isabelle] LaTeX specialised table env params vs Isabelle anti-quotations
- Next by Date: [isabelle] Jedit: Spurious "Bad Theory" error
- Previous by Thread: [isabelle] LaTeX specialised table env params vs Isabelle anti-quotations
- Next by Thread: [isabelle] Jedit: Spurious "Bad Theory" error
- 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