[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: Using tlatext to typeset TLA+ Module that contain PlusCal specification
From
: Stephan Rehfeld <
stephan...@xxxxxxxxx
>
Date
: Tue, 12 Jan 2016 01:22:13 -0800 (PST)
References
: <
fba2dbdd-0a6b-4451-82a6-5a8d85d19949@googlegroups.com
> <
9c1d325a-67f5-46d4-b8e0-cc205b5831d8@googlegroups.com
>
Hi Leslie,
thank you for the reply. Works fine :-)
Regards,
Stephan
References
:
Using tlatext to typeset TLA+ Module that contain PlusCal specification
From:
Stephan Rehfeld
Re: Using tlatext to typeset TLA+ Module that contain PlusCal specification
From:
Leslie Lamport
Prev by Date:
Re: Tagged formulas
Next by Date:
Re: Tagged formulas
Previous by thread:
Re: Using tlatext to typeset TLA+ Module that contain PlusCal specification
Next by thread:
Instantiated module and "Successor state is not completely specified"
Index(es):
Date
Thread