new on CTAN: ribbonproofs

[CTAN Announcements]

quoth the daemon:

> The following information was provided by the package's contributor.
> 
> Name of contribution: ribbonproofs
> Author's name: John Wickerson
> Package version: 1.0
> Location on CTAN: /
> Summary description: Drawing ribbon proofs
> License type: lppl
> 
> 
> Announcement text given by the package's contributor:
> ----------------------------------------------------------------------
> The ribbonproofs package provides a way to draw "ribbon proofs" in LaTeX. 
>
> A ribbon proof is a diagrammatic representation of a mathematical
> proof that a computer program meets its specification. These diagrams
> are more human-readable, more scalable, and more easily modified than
> the corresponding textual proofs. Ribbon proofs were introduced by
> John Wickerson, Mike Dodds and Matthew Parkinson in a paper entitled
> "Ribbon Proofs for Separation Logic" and presented at the European
> Symposium on Programming (ESOP) 2013.
> ----------------------------------------------------------------------
> 
> Announcement required: Yes

thanks for the upload; i've installed the new version, and updated the
catalogue repository.

> Users may view the package catalogue entry at
>   http://www.ctan.org/pkg/ribbonproofs
> or they may browse the package directory at
>   http://mirror.ctan.org//

Robin Fairbairns

For the CTAN team