Project

General

Profile

Support #775

Help for TL specifications

Added by Anonymous over 8 years ago. Updated over 8 years ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Target version:
Start date:
04/23/2012
Due date:
% Done:

100%

Estimated time:

History

#1 Updated by Anonymous over 8 years ago

  • Status changed from New to Resolved
  • Assignee changed from Anonymous to Anonymous

The help for TL specifications already exists - please double-check that it is ok, and close this issue.

#2 Updated by Anonymous over 8 years ago

  • Assignee changed from Anonymous to Anonymous

Sorry, can not find it.

#3 Updated by Anonymous over 8 years ago

  • Assignee changed from Anonymous to Anonymous

Ah, found it but it is not included. I included it.

1) Anyway, is the actual sorting of the help files OK? I think, MSC, state and modes and maybe TLS should be next to each other or we sort everything alphabetically.
2) Why is the caption NOT called Temporal Logics Specification but something with patterns? This is confusing. I would prefer a coherent wording, using the same name (Temporal Logic Specification) everywhere and add a section at the beginning about what it has to do with patterns.
3) The first phrase is something like "If you use 'TLS', you are able to use 'tls'"...

I review it again after the above mentioned changes, OK?

#4 Updated by Anonymous over 8 years ago

  • Assignee changed from Anonymous to Anonymous

#5 Updated by Florian Hölzl over 8 years ago

  • Status changed from Resolved to Closed
  • % Done changed from 0 to 100

Also available in: Atom PDF