./print/tex-bussproofs, Proof trees in the style of the sequent calculus

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: CURRENT, Version: 1.1, Package name: tex-bussproofs-1.1, Maintainer: jaapb

The package allows the construction of proof trees in the style
of the sequent calculus and many other proof systems. One novel
feature of the macros is they support the horizontal alignment
according to some centre point specified with the command
\fCenter. This is the style often used in sequent calculus
proofs. The package works in a Plain TeX document, as well as
in LaTeX; an exposition of the commands available is given in
the package file itself.


Required to run:
[print/kpathsea]

Required to build:
[pkgtools/cwrappers]

Master sites: (Expand)


Version history: (Expand)


CVS history: (Expand)


   2021-10-26 13:15:15 by Nia Alarie | Files touched by this commit (1670)
Log message:
print: Replace RMD160 checksums with BLAKE2s checksums

All checksums have been double-checked against existing RMD160 and
SHA512 hashes
   2021-10-07 16:52:04 by Nia Alarie | Files touched by this commit (1670)
Log message:
print: Remove SHA1 hashes for distfiles
   2019-12-06 21:19:34 by Mark Davies | Files touched by this commit (430)
Log message:
tex-*: add TEXLIVE_UNVERSIONED=yes
   2015-11-04 02:03:03 by Alistair G. Crooks | Files touched by this commit (1194)
Log message:
Add SHA512 digests for distfiles for print category

Problems found locating distfiles:
	Package acroread7: missing distfile AdobeReader_enu-7.0.9-1.i386.tar.gz
	Package acroread8: missing distfile AdobeReader_enu-8.1.7-1.sparc.tar.gz
	Package cups-filters: missing distfile cups-filters-1.1.0.tar.xz
	Package dvidvi: missing distfile dvidvi-1.0.tar.gz
	Package lgrind: missing distfile lgrind.tar.bz2

Otherwise, existing SHA1 digests verified and found to be the same on
the machine holding the existing distfiles (morden).  All existing
SHA1 digests retained for now as an audit trail.
   2015-05-29 13:37:24 by Jaap Boender | Files touched by this commit (4)
Log message:
Added print/tex-bussproofs 1.1, a TeX package to produce proof trees in
the style of the sequent calculus.