| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: texlive-lsc | Distribution: OpenMandriva Lx |
| Version: 15878 | Vendor: OpenMandriva |
| Release: 2 | Build date: Sun Oct 27 02:35:42 2024 |
| Group: Publishing | Build host: ph18-3.openmandriva.org |
| Size: 356734 | Source RPM: texlive-lsc-15878-2.src.rpm |
| Packager: bero_massbuild <bero+massbuild@lindev.ch> | |
| Url: https://www.ctan.org/tex-archive/macros/latex/contrib/lsc | |
| Summary: Typesetting Live Sequence Charts | |
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).
LPPL
/usr/share/texmf-dist/bibtex/bib/lsc/lsc.bib /usr/share/texmf-dist/doc/latex/lsc/README /usr/share/texmf-dist/doc/latex/lsc/lsc.pdf /usr/share/texmf-dist/doc/latex/lsc/lsc.tex /usr/share/texmf-dist/tex/latex/lsc/lsc.sty
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri Jan 31 23:03:28 2025