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

Re: [tlaplus] Tool Precise Guide

From: stewart mackenzie <setori88@xxxxxxxxx>
Date: Sun, 7 Jul 2019 09:35:33 +0800
References: <CA+kanU+DSHRxypsXcCisqLVktAxc=_sMd6ozxkRN8CABK2EKMg@mail.gmail.com> <CAKxfy0uGhzxeuyHmYx+aq-B83pn0WkmmetOWJA1f3Qp8Xa_xiw@mail.gmail.com> <CA+kanUKpyQ_5WCQcnx=x9=2NMwctVAWL-BJC4mBVV+v+fcC+iw@mail.gmail.com> <CAKxfy0vXQiHb2=M0AoTLOpj7orwvtoKgOhUqahg5ZYROKtevRA@mail.gmail.com> <CA+kanUKxO9PV4yoGiksW_UNks66-bvdmzQfjkBhFahW7bOvryQ@mail.gmail.com>

MK Bug,

Please could you not take screenshots as this bloats every email sent, compounding the problem as this is a mailing list. It's also difficult to read and impossible to do copy-paste-search.

Please use text alone.

kr/sjm

--
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+unsubscribe@xxxxxxxxxxxxxxxx.
To post to this group, send email to tlaplus@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/CA%2BLh%3Dn3UaUw7T4h%3DeEC25rCipfnj-rxa2UQzc2XAynY_38C4pg%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Follow-Ups:
- Re: [tlaplus] Tool Precise Guide
  - From: MK Bug

References:
- [tlaplus] Tool Precise Guide
  - From: MK Bug
- Re: [tlaplus] Tool Precise Guide
  - From: Amir Hossein Sayyad Abdi
- Re: [tlaplus] Tool Precise Guide
  - From: MK Bug
- Re: [tlaplus] Tool Precise Guide
  - From: Amir Hossein Sayyad Abdi
- Re: [tlaplus] Tool Precise Guide
  - From: MK Bug

Prev by Date: Re: [tlaplus] Constant conversion into Set
Next by Date: Re: [tlaplus] Tool Precise Guide
Previous by thread: Re: [tlaplus] Tool Precise Guide
Next by thread: Re: [tlaplus] Tool Precise Guide
Index(es):
- Date
- Thread