[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*From*: TLA Plus <tlapl...@xxxxxxxxx>*Date*: Sun, 2 Jun 2013 01:10:40 -0800*References*: <9e536a2d-66e6-4374-9b5e-e631111cc28c@googlegroups.com>

You will have to download the stand-alone tools (http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html) and run the tla2tex.TeX Java program (which is not mentioned on the Web page, but probably should be). Run it with the –info option to get the documentation.

Leslie

On Sat, Jun 1, 2013 at 8:43 PM, Hai Zhou <haiz...@xxxxxxxxx> wrote:

I would like to embed PlusCal algorithms and TLA+ specs in my paper in latex.What is the style file I need to use for that, and where can I find it?Thanks very much.--Hai--

You received this message because you are subscribed to the Google Groups "tlaplus" group.

To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@xxxxxxxxxxxxxxxx.

To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.

Visit this group at http://groups.google.com/group/tlaplus?hl=en.

For more options, visit https://groups.google.com/groups/opt_out.

**Follow-Ups**:**Re: [tlaplus] embed PlusCal and TLA+ specs in latex papers***From:*Hai Zhou

**References**:**embed PlusCal and TLA+ specs in latex papers***From:*Hai Zhou

- Prev by Date:
**embed PlusCal and TLA+ specs in latex papers** - Next by Date:
**Re: [tlaplus] embed PlusCal and TLA+ specs in latex papers** - Previous by thread:
**embed PlusCal and TLA+ specs in latex papers** - Next by thread:
**Re: [tlaplus] embed PlusCal and TLA+ specs in latex papers** - Index(es):