texlive-gene-logic - Typeset logic formulae, etc
| Website: | http://tug.org/texlive/ |
|---|---|
| License: | Crossword |
| Vendor: | Fuduntu.org |
- Description:
The package provides a facility to typeset certain logic formulae. It provides an environment like eqnarray, an extended newtheorem environment, and several macros. date: 2008-10-04 10:00:56 +0200
Packages
| texlive-gene-logic-svn15878.1.4-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-gene-logic-svn15878.1.4-14.fu2013.noarch [14 KiB] |
Changelog
by Marek Kasik (2013-01-18):
- Rebuild (poppler-0.22.0) |