texlive-lkproof - LK Proof figure macros
| Website: | http://tug.org/texlive/ |
|---|---|
| License: | GPL+ |
| Vendor: | Fuduntu.org |
- Description:
The package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams. date: 2010-10-07 09:27:06 +0200
Packages
| texlive-lkproof-svn20021.3.1-16.fu2013.noarch [15 KiB] |
Changelog
by Jindrich Novy (2013-02-05):
- fix symlinks pointing to system utilities (#907643) - add BR: texinfo because of makeinfo |
| texlive-lkproof-svn20021.3.1-14.fu2013.noarch [15 KiB] |
Changelog
by Marek Kasik (2013-01-18):
- Rebuild (poppler-0.22.0) |