the daemon reported:
Name of contribution: perfectcut Author's name: Guillaume Munch-Maccagnoni Package version: 1.9 Location on CTAN: macros/latex/contrib/perfectcut Summary description: Brackets whose size adjusts to the nesting License type: lppl
Announcement text given by the package's contributor:
This package defines the command perfectcut#1#2 which displays a bracket <#1||#2>. Its effect is to determine the size of the bracket depending on the number of nested perfectcut (regardless of the contents). It is intended for use:
- In proof theory, for term notations of sequent calculus,
- In computer science, for the modeling of abstract machines.
This package also offers a reimplementation of ig, igg, etc. into arbitrary-size variants.
Announcement required: Yes
Users may view the package catalogue entry at http://www.ctan.org/pkg/perfectcut or they may browse the package directory at http://mirror.ctan.org/macros/latex/contrib/perfectcut/
thanks for the upload; i've installed the new package, and made an entry for it in the catalogue repository.
Robin Fairbairns
For the CTAN team