texlive-turnstile - Typeset the (logic) turnstile notation
| Website: | http://tug.org/texlive/ |
|---|---|
| License: | LPPL |
| Vendor: | Fuduntu.org |
- Description:
Among other uses, the turnstile sign is used by logicians for denoting a consequence relation, related to a given logic, between a collection of formulas and a derived formula. date: 2008-08-24 14:43:48 +0200
Packages
| texlive-turnstile-svn15878.1.0-16.fu2013.noarch [14 KiB] |
Changelog
by Jindrich Novy (2013-02-05):
- fix symlinks pointing to system utilities (#907643) - add BR: texinfo because of makeinfo |
| texlive-turnstile-svn15878.1.0-14.fu2013.noarch [14 KiB] |
Changelog
by Marek Kasik (2013-01-18):
- Rebuild (poppler-0.22.0) |