texlive-logicproof-doc - Documentation for logicproof
| Website: | http://tug.org/texlive/ |
|---|---|
| License: | Artistic 2.0 and CC-BY and CC-BY-SA and GPLv2 and GPLv2+ and GPLv3+ and LGPLv2+ and LPPL and MIT and Public Domain and UCD and Utopia |
| Vendor: | Alcance Libre, Inc. |
- Description:
Documentation for logicproof
Packages
| texlive-logicproof-doc-svn33254.0-46.fc14.al.noarch [101 KiB] |
Changelog
by Tom Callaway (2021-09-09):
- add Requires: texlive-epstopdf to texlive-epstopdf-pkg (bz2002690) |