ID | 9999 | |||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Build | texlive-2023-71.fc41 | |||||||||||||||||||||||||||||||||||||||
Name | texlive-lsc | |||||||||||||||||||||||||||||||||||||||
Version | svn15878.0 | |||||||||||||||||||||||||||||||||||||||
Release | 71.fc41 | |||||||||||||||||||||||||||||||||||||||
Epoch | 11 | |||||||||||||||||||||||||||||||||||||||
Arch | noarch | |||||||||||||||||||||||||||||||||||||||
Draft | False | |||||||||||||||||||||||||||||||||||||||
Summary | Typesetting Live Sequence Charts | |||||||||||||||||||||||||||||||||||||||
Description | This package is similar to the msc package in that it provides macros for typesetting a variant of sequence diagrams, in this case the Live Sequence Charts of Damm and Harel. The package supports the full LSC language of the original LSC paper, the Klose-extensions for formal verification and some of the Harel- extensions for the Play-In/Play-Out approach (cf. the manual). | |||||||||||||||||||||||||||||||||||||||
Build Time | 2024-04-25 04:32:39 GMT | |||||||||||||||||||||||||||||||||||||||
Size | 26.75 KB | |||||||||||||||||||||||||||||||||||||||
3e43e50d6c4e24debbabecf58b9bb763 | ||||||||||||||||||||||||||||||||||||||||
License | LPPL-1.3c | |||||||||||||||||||||||||||||||||||||||
Buildroot | f41-build-16326-578 | |||||||||||||||||||||||||||||||||||||||
Provides |
|
|||||||||||||||||||||||||||||||||||||||
Obsoletes | No Obsoletes | |||||||||||||||||||||||||||||||||||||||
Conflicts | No Conflicts | |||||||||||||||||||||||||||||||||||||||
Requires |
|
|||||||||||||||||||||||||||||||||||||||
Recommends | No Recommends | |||||||||||||||||||||||||||||||||||||||
Suggests | No Suggests | |||||||||||||||||||||||||||||||||||||||
Supplements | No Supplements | |||||||||||||||||||||||||||||||||||||||
Enhances | No Enhances | |||||||||||||||||||||||||||||||||||||||
Files | ||||||||||||||||||||||||||||||||||||||||
Component of |
|