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

Re: Workaround

From: Leslie Lamport <tlapl...@xxxxxxxxx>
Date: Sun, 5 Oct 2014 22:18:18 -0700 (PDT)
References: <e8d23750-dedc-4a0a-9c9d-31023a2bb7b3@googlegroups.com>

Does that window not appear, or does clicking on the button to terminate the proof not work? If it doesn't work, are the appropriate buttons disabled or does clicking on them just do nothing?

Follow-Ups:
- Re: Workaround
  - From: fl

References:
- Workaround
  - From: fl

Prev by Date: TLA Download location -- webiste expired
Next by Date: Re: Workaround
Previous by thread: Re: [tlaplus] Workaround
Next by thread: Re: Workaround
Index(es):
- Date
- Thread