New on CTAN: ebproof

Emmanuel Beffara submitted the ebproof package. Version number: 1.0 License type: lppl1.3 Summary description: Typeset formal proofs in the style of sequent calculus. Announcement text: --

CTAN update: glossaries

Nicola Talbot submitted an update to the glossaries package. Version number: 4.13 License type: lppl1.3 Summary description: Create glossaries and lists of acronyms. Announcement text: -- glossaries.sty: -

CTAN Update: xcookybooky

Sven Harder submitted an update to the xcookybooky package. Version number: 1.4 License type: lppl1.3 Summary description: Typeset (potentially long) recipes Announcement text: -- New hook commands enable the