| 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 | No Buildroots |
