texlive-gene-logic - Typeset logic formulae, etc
| Website: | http://tug.org/texlive/ |
|---|---|
| License: | Crossword |
- 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-1.1.el7.fc21.noarch [19 KiB] |
Changelog
by Jindrich Novy (2014-08-09):
- rebuild because of NVR conflict |