ctan-ann

ctan-ann@ctan.org

4 participants
21059 discussions

New on CTAN: rutitlepage
by CTAN Announcements 31 May '17

31 May '17

Mart Lubbers submitted the rutitlepage package. Version: 1.0 2017-05-30 License: lppl1.3 Summary description: Radboud University Titlepage Package Announcement text: ---------------------------------------------------------------------- This package allows the creation of title pages styled using the Radboud University logo. ---------------------------------------------------------------------- The package’s Catalogue entry can be viewed at https://ctan.org/pkg/rutitlepage The package’s files themselves can be inspected at http://mirror.ctan.org/macros/latex/contrib/rutitlepage/ ------------------------------------------------------------------------ Thanks for the upload. For the CTAN Team Petra Rübe-Pugliese ------------------------------------------------------------------------ We are supported by the TeX users groups. Please join a users group; see https://www.tug.org/usergroups.html .

1 0

CTAN update: pxbase
by CTAN Announcements 31 May '17

31 May '17

Takayuki Yato submitted an update to the pxbase package. Version number: 1.1 License type: mit Summary description: Tools for use with (u)pLaTeX Announcement text: ---------------------------------------------------------------------- (This update involves total overhaul. So I’ll give the basic package information again.) The main purpose of this package is to provide auxiliary functions which are utilized by packages created by the same author. This package also provides a few user commands to assist in creating Japanese document on (u)pLaTeX. ---------------------------------------------------------------------- This package is located at http://mirror.ctan.org/language/japanese/pxbase More information is at http://www.ctan.org/pkg/pxbase ------------------------------------------------------------------------ Thanks for the upload. For the CTAN Team Manfred Lotz We are supported by the TeX user groups. Please join a users group; see http://www.tug.org/usergroups.html .

1 0

CTAN update: BXbase
by CTAN Announcements 31 May '17

31 May '17

Takayuki Yato submitted an update to the BXbase package. Version number: 1.1 License type: mit Summary description: BX bundle base components Announcement text: ---------------------------------------------------------------------- (This update involves total overhaul. So I’ll give the basic package information again.) The main purpose of this bundle is to serve as underlying library to make work other packages created by the same author (their names start with “BX” or “PX”). However bxbase package contains a few user-level commands and is of some use by itself. ---------------------------------------------------------------------- This package is located at http://mirror.ctan.org/language/japanese/BX/bxbase More information is at http://www.ctan.org/pkg/BXbase ------------------------------------------------------------------------ Thanks for the upload. For the CTAN Team Manfred Lotz We are supported by the TeX user groups. Please join a users group; see http://www.tug.org/usergroups.html .

1 0

CTAN update: garamondx
by CTAN Announcements 31 May '17

31 May '17

Michael Sharpe submitted an update to the garamondx package. Version number: 1.20 2017-05-29 License type: nosell Summary description: ‘Expert’-like extensions to URW Garamond, and maths italic Announcement text: ---------------------------------------------------------------------- Corrects an error in zgm.map affecting italic small caps in T1 encoding. ---------------------------------------------------------------------- This package is located at http://mirror.ctan.org/fonts/garamondx More information is at http://www.ctan.org/pkg/garamondx ------------------------------------------------------------------------ Thanks for the upload. For the CTAN Team Manfred Lotz We are supported by the TeX user groups. Please join a users group; see http://www.tug.org/usergroups.html .

1 0

CTAN Update: l3build + l3kernel + l3packages + l3experimental
by CTAN Announcements 31 May '17

31 May '17

The LaTeX Team submitted an update to the 3build, l3kernel, l3packages, and l3experimental package. Version number: 2017-05-29 License type: lppl1.3c Summary description: A testing and building system for (La)TeX Announcement text: ---------------------------------------------------------------------- Release 2017-05-29 - l3regex moves to stable status and is now part of the core expl3 package - l_show_analysis:N is now part of expl3 core - ior_map_inline:nn and related functions are now stable - New experimental support for shell-escape: sys_shell_now:n, etc. - Fix nesting of keys_set_known:nn and related 'filtered' key-setting functions - Fix indexing in interface3/source3 - Very preliminary work on image inclusion (driver-level only) - More documentation of usable functions in l3build - New l3build variable for supporting typeset examples in documentation ---------------------------------------------------------------------- The packages’ Catalogue entries can be viewed at http://ctan.org/pkg/l3build http://ctan.org/pkg/l3kernel http://ctan.org/pkg/l3packages http://ctan.org/pkg/l3experimental The packages' files themselves can be inspected at http://mirror.ctan.org/macros/latex/contrib/l3build/ http://mirror.ctan.org/macros/latex/contrib/l3kernel/ http://mirror.ctan.org/macros/latex/contrib/l3packages/ http://mirror.ctan.org/macros/latex/contrib/l3experimental/ ------------------------------------------------------------------------ Thanks for the upload. For the CTAN Team Manfred Lotz We are supported by the TeX user groups. Please join a users group; see http://www.tug.org/usergroups.html .

1 0

CTAN update: archaeologie
by CTAN Announcements 30 May '17

30 May '17

Lukas C. Bossert submitted an update to the archaeologie package. Version number: 2.31 2017-05-29 License type: lppl1.3 Summary description: A citation-style which covers rules of the German Archaeological Institute Announcement text: ---------------------------------------------------------------------- #fixed# * number after year in an article if there is no volume. * volume and title for ancient publications ---------------------------------------------------------------------- This package is located at http://mirror.ctan.org/macros/latex/contrib/biblatex-contrib/archaeologie More information is at http://www.ctan.org/pkg/archaeologie We are supported by the TeX User Groups. Please join a users group; see http://www.tug.org/usergroups.html . ------------------------------------------------------------------------ Thanks for the upload. For the CTAN Team Ina Dau

1 0

CTAN update: fithesis
by CTAN Announcements 30 May '17

30 May '17

Vít Novotný submitted an update to the fithesis package. Version number: 0.3.45 2017-05-29 License type: lppl1.3 Summary description: Thesis class and template for Masaryk University (Brno, Czech Republic) Announcement text: ---------------------------------------------------------------------- - Defined the ifthesis@czech macro in style/mu/fithesis-sci.sty. - Defined the abstractonsinglepage option in style/mu/fithesis-sci.sty. - Defined the hesis@blocks@abstractCs macro in style/mu/fithesis-sci.sty. - Bibliographical entries in style/mu/fithesis-sci.sty now face each other when the main locale is either Czech or English. - Defined the hesis@blocks@bibEntryCs macro in style/mu/fithesis-sci.sty. - Redefined the hesis@blocks@thanks and hesis@blocks@declaration macros in style/mu/fithesis-sci.sty. - Defined the hesis@pages@preamble and hesis@pages@postamble macros. - Updated the ifthesis@english macro, so that it no longer dynamically reacts to changes of the locale. Instead, it is now based on the main locale during the expansion of hesisload. - Added the extra key to hesissetup and defind the helper hesis@def@extra macro. - Ädded Slovak localization for the style/mu/fithesis-sci.sty style file. The majority of the above patches was submitted by Juraj Palenik. ---------------------------------------------------------------------- The package's Catalogue entry can be viewed at http://www.ctan.org/pkg/fithesis The package's files themselves can be inspected at http://mirror.ctan.org/macros/latex/contrib/fithesis ------------------------------------------------------------------------ Thanks for the upload. For the CTAN Team Erik Braun ------------------------------------------------------------------------ We are supported by the TeX users groups. Please join a users group; see http://www.tug.org/usergroups.html .

1 0

New on CTAN: currency
by CTAN Announcements 30 May '17

30 May '17

Antoine Lejay submitted the currency package. Version number: 0.1 License type: lppl1.3c Summary description: Format currencies in a consistent way Announcement text: ---------------------------------------------------------------------- currency is a LaTeX package that facilitates the formatting of currencies (amounts and units) with various formatting capabilities. It is based on the siunitx package for printing numbers. ---------------------------------------------------------------------- This package is located at http://mirror.ctan.org/macros/latex/contrib/currency More information is at http://www.ctan.org/pkg/currency ------------------------------------------------------------------------ Thanks for the upload. For the CTAN Team Manfred Lotz We are supported by the TeX user groups. Please join a users group; see http://www.tug.org/usergroups.html .

1 0

CTAN update: circuitikz
by CTAN Announcements 30 May '17

30 May '17

Stefan Lindner submitted an update to the circuitikz package. Version number: 0.8.3 2017-05-28 License type: lppl gpl Summary description: Draw electrical networks with TikZ Announcement text: ---------------------------------------------------------------------- - Removed unwanted lines at to-paths if the starting point is a node without a explicit anchor. - Fixed scaling option, now all parts are scaled by bipoles/length - Surge arrester appears no more if a to path is used without []-options - Fixed current placement now possible with paths at an angle of around 280° - Fixed voltage placement now possible with paths at an angle of around 280° - Fixed label and annotation placement (at some angles position not changable) - Adjustable default distance for straight-voltages: 'bipoles/voltage/straight label distance' - Added Symbol for bandstop filter - New annotation type to show flows using f=... like currents, can be used for thermal, power or current flows ---------------------------------------------------------------------- This package is located at http://mirror.ctan.org/graphics/pgf/contrib/circuitikz More information is at http://www.ctan.org/pkg/circuitikz ------------------------------------------------------------------------ Thanks for the upload. For the CTAN Team Manfred Lotz We are supported by the TeX user groups. Please join a users group; see http://www.tug.org/usergroups.html .

1 0

CTAN update: easyformat
by CTAN Announcements 29 May '17

29 May '17

Evert Provoost submitted an update to the easyformat package. Version number: 1.3.0 2017-05-28 License type: gpl3+ Summary description: Add easier bolds and italics Announcement text: ---------------------------------------------------------------------- easyformat v1.3.0 - Now keeps working as expected when a fontpackage is loaded. - Fixed a bug with the cir macro. - Rewritten to use expl3. ---------------------------------------------------------------------- This package is located at http://mirror.ctan.org/macros/latex/contrib/easyformat More information is at http://www.ctan.org/pkg/easyformat We are supported by the TeX User Groups. Please join a users group; see http://www.tug.org/usergroups.html . ------------------------------------------------------------------------ Thanks for the upload. For the CTAN Team Ina Dau

1 0

CTAN Update: scratch
by CTAN Announcements 29 May '17

29 May '17

Christian Tellechea submitted an update to the scratch package. Version: 0.2 2017-05-28 License: lppl1.3c Summary description: Draw programs like “scratch” Announcement text: ---------------------------------------------------------------------- scratch v0.2 - added a print option for a pdf output in black and white - added a contrast option ---------------------------------------------------------------------- The package’s Catalogue entry can be viewed at https://ctan.org/pkg/scratch The package’s files themselves can be inspected at http://mirror.ctan.org/macros/latex/contrib/scratch/ ------------------------------------------------------------------------ Thanks for the upload. For the CTAN Team Petra Rübe-Pugliese ------------------------------------------------------------------------ We are supported by the TeX users groups. Please join a users group; see https://www.tug.org/usergroups.html .

1 0

CTAN Update: latexindent
by CTAN Announcements 29 May '17

29 May '17

Chris Hughes submitted an update to the latexindent package. Version: 3.1 2017-05-27 License: gpl3 Summary description: Indent a LaTeX document, highlighting the programming structure Announcement text: ---------------------------------------------------------------------- Announcing Version 3.1 of latexindent.pl, including options for text wrapping and paragraph line break removal. Full details here: https://github.com/cmhughes/latexindent.pl/pull/64 ---------------------------------------------------------------------- The package’s Catalogue entry can be viewed at https://ctan.org/pkg/latexindent The package’s files themselves can be inspected at http://mirror.ctan.org/support/latexindent/ ------------------------------------------------------------------------ Thanks for the upload. For the CTAN Team Petra Rübe-Pugliese ------------------------------------------------------------------------ We are supported by the TeX users groups. Please join a users group; see https://www.tug.org/usergroups.html .

1 0

New on CTAN: combofont
by CTAN Announcements 28 May '17

28 May '17

Ulrike Fischer submitted the combofont package. Version: 0.1 License: lppl1.3c Summary description: Add NFSS-declarations of combo fonts to LuaLaTeX documents Announcement text: ---------------------------------------------------------------------- An EXPERIMENTAL package to add NFSS-declarations of combo fonts to a LuaLaTeX document. ---------------------------------------------------------------------- The package’s Catalogue entry can be viewed at https://ctan.org/pkg/combofont The package’s files themselves can be inspected at http://mirror.ctan.org/macros/luatex/latex/combofont/ ------------------------------------------------------------------------ Thanks for the upload. For the CTAN Team Petra Rübe-Pugliese ------------------------------------------------------------------------ We are supported by the TeX users groups. Please join a users group; see https://www.tug.org/usergroups.html .

1 0

CTAN Update: biblatex-archaeology
by CTAN Announcements 28 May '17

28 May '17

Ingram Braun submitted an update to the biblatex-archaeology package. Version: 1.1 2017-05-27 License: lppl1.3c Summary description: A collection of BibLaTeX styles for German prehistory Announcement text: ---------------------------------------------------------------------- Some minor bug fixes. Note the modified installation procedure! ---------------------------------------------------------------------- The package’s Catalogue entry can be viewed at https://ctan.org/pkg/biblatex-archaeology The package’s files themselves can be inspected at http://mirror.ctan.org/macros/latex/contrib/biblatex-contrib/biblatex-archa… ------------------------------------------------------------------------ Thanks for the upload. For the CTAN Team Petra Rübe-Pugliese ------------------------------------------------------------------------ We are supported by the TeX users groups. Please join a users group; see https://www.tug.org/usergroups.html .

1 0

CTAN update: mcf2graph
by CTAN Announcements 28 May '17

28 May '17

Akira Yamaji submitted an update to the mcf2graph package. Version number: 4.22 2017-05-27 License type: bsd Summary description: Draw chemical structure diagrams with Metafont/MetaPost Announcement text: ---------------------------------------------------------------------- -change syntax @(),$() @(a,b,...)c => {a,b,...}:c $(a,b,...)c => {a,b,...}=c -improve function ext() add variable Bs[],Be[] -update MCF syntax manual ---------------------------------------------------------------------- This package is located at http://mirror.ctan.org/graphics/mcf2graph More information is at http://www.ctan.org/pkg/mcf2graph ------------------------------------------------------------------------ Thanks for the upload. For the CTAN Team Manfred Lotz We are supported by the TeX user groups. Please join a users group; see http://www.tug.org/usergroups.html .

1 0

New on CTAN: luapackageloader
by CTAN Announcements 27 May '17

27 May '17

Deepak Jois submitted the luapackageloader package. Version: 0.1 2017-05-26 License: lppl1.3c Summary description: Allow LuaTeX to load external Lua packages Announcement text: ---------------------------------------------------------------------- luapackageloader allows LuaTeX to load packages from the default `package.path` and `package.cpath` locations. This could be useful to load external Lua modules, including modules installed via [LuaRocks](https://luarocks.org). ---------------------------------------------------------------------- The package’s Catalogue entry can be viewed at https://ctan.org/pkg/luapackageloader The package’s files themselves can be inspected at http://mirror.ctan.org/macros/luatex/generic/luapackageloader/ ------------------------------------------------------------------------ Thanks for the upload. For the CTAN Team Petra Rübe-Pugliese ------------------------------------------------------------------------ We are supported by the TeX users groups. Please join a users group; see https://www.tug.org/usergroups.html .

1 0

CTAN Update: covington
by CTAN Announcements 26 May '17

26 May '17

Jürgen Spitzmüller submitted an update to the covington package. Version: 1.4 2017-05-23 License: lppl1.3 Summary description: Linguistic support Announcement text: ---------------------------------------------------------------------- - Introduce a new macro wodias that supersedes the rather odd woacc (which is kept for backwards compatibility). - Introduce macro SetDiaOffset for more convenient setting of vertical distance in stacked diacritics. - LaTeX 2.09 is no longer officially supported (it might continue to work, but is not tested). ---------------------------------------------------------------------- The package’s Catalogue entry can be viewed at https://ctan.org/pkg/covington The package’s files themselves can be inspected at http://mirror.ctan.org/macros/latex/contrib/covington/ ------------------------------------------------------------------------ Thanks for the upload. For the CTAN Team Petra Rübe-Pugliese ------------------------------------------------------------------------ We are supported by the TeX users groups. Please join a users group; see https://www.tug.org/usergroups.html .

1 0

CTAN Update: gregoriotex
by CTAN Announcements 26 May '17

26 May '17

Samuel Springuel submitted an update to the gregoriotex package. Version: 5.0.2 2017-05-24 License: gpl3 Summary description: Engraving Gregorian Chant scores Announcement text: ---------------------------------------------------------------------- We discovered that occasionally the package code was unable to locate the gregorio executable in the TeXLive 2017 pretest. While unable to determine the exact conditions to replicate this bug consistently, we have come up with a workaround which avoids the problematic code. ---------------------------------------------------------------------- The package’s Catalogue entry can be viewed at https://ctan.org/pkg/gregoriotex The package’s files themselves can be inspected at http://mirror.ctan.org/support/gregoriotex/ ------------------------------------------------------------------------ Thanks for the upload. For the CTAN Team Petra Rübe-Pugliese ------------------------------------------------------------------------ We are supported by the TeX users groups. Please join a users group; see https://www.tug.org/usergroups.html .

1 0

CTAN Update: mathtools
by CTAN Announcements 25 May '17

25 May '17

Lars Madsen submitted an update to the mathtools bundle. Version: mathtools: 1.19 2017-05-24 empheq.xml: 2.15 2017-03-31 mhsetup.xml: 1.3 2017-03-31 License: lppl1.3 Summary description: Mathematical tools to use with amsmath Announcement text: ---------------------------------------------------------------------- Since the last release (2015) the following issues have been addressed: * Changed amsmath requirement to 2016/11/05 (in order to use the aligned fix) * Applied the amsmath aligned fix to multlined, now the left part aligned correctly. Reported by campa in a note to <https://tex.stackexchange.com/a/369212/3929> * Reimplemented `DeclarePairedDelimiter` and friends to fix the following problem: mathclose{ vert}^2 vs mathclose vert^2 They might not give the same result (depending on the font setup). Thus the internal wrappers need to be changed into three branches: star, nostarnonscaled, nostarscaled, where the difference between the last two is whether or not braces are applied to the fences. This problem was reported in <https://tex.stackexchange.com/q/364308/3929> * Since we were cleaning up `DeclarePairedDelimiter` and friends, `DeclarePairedDelimiterX` is now implemented as a call to `DeclarePairedDelimiterXPP` with empty pre- and postcode. * The DeclarePairedDelimiter(X,XPP) reimplementation removes a grouping issue reported in <https://tex.stackexchange.com/q/366665/3929> * Since there is no longer any `nostar` wrapper branch, redeclaring the `nostar` wrapper will now give an error. * Removed `-jot` from the multlined implementation (invisible line). Issue reported in at least <http://tex.stackexchange.com/a/258162/3929> and <https://tex.stackexchange.com/q/369156/3929>. It is not 100% correct, but better than with `-jot`. * Fixed bug in empheq in relation to AMS clases * Renamed macros in mhsetup, mathtools and empheq such that any xxx_yyy: macro should now contain EQ, MH or HT as a prefix or infix. Thus making everyting truely separate from expl3 defined syntax. * Changed shortintertext such that as long as 'original-intertext=false' (the default), shortintertext now only work in the same context as intertext * shortintertext is now also an error inside the empheq construction * Sporadic space fixed in oeqref, reported by Christian Vetter (private email) * Added ignorespaces after oindent (intertexts), bug inherited from amsmath ---------------------------------------------------------------------- The package’s Catalogue entry can be viewed at https://ctan.org/pkg/mathtools The package’s files themselves can be inspected at http://mirror.ctan.org/macros/latex/contrib/mathtools/ ------------------------------------------------------------------------ Thanks for the upload. For the CTAN Team Petra Rübe-Pugliese ------------------------------------------------------------------------ We are supported by the TeX users groups. Please join a users group; see https://www.tug.org/usergroups.html .

1 0

CTAN update: svg
by CTAN Announcements 24 May '17

24 May '17

Falk Hanisch submitted an update to the svg package. Version number: 2.00b 2017-05-23 License type: lppl1.3 Summary description: Include and extract SVG pictures in LaTeX documents Announcement text: ---------------------------------------------------------------------- improved warnings, if package **svg** is loaded by package **svg-extract** ---------------------------------------------------------------------- This package is located at http://mirror.ctan.org/graphics/svg More information is at http://www.ctan.org/pkg/svg We are supported by the TeX User Groups. Please join a users group; see http://www.tug.org/usergroups.html . ------------------------------------------------------------------------ Thanks for the upload. For the CTAN Team Ina Dau

1 0

texosquery announced too soon
by CTAN Announcements 23 May '17

23 May '17

Sorry, the following announcement should have gone out 24 hours later as it has only just been installed and will not yet have been picked up by the mirrors: ----- Forwarded message from petra(a)ctan.org ----- From: petra(a)ctan.org To: ctan-ann(a)ctan.org Subject: CTAN Update: texosquery Date: Tue, 23 May 2017 20:56:56 +0200 Organization: CTAN Nicola Talbot submitted an update to the texosquery package. Version: 1.5 2017-05-23 License: lppl1.3 Summary description: Cross-platform Java application to query OS information Announcement text: ---------------------------------------------------------------------- * Added new command line options to allow for mount point substitutions: --strip-path-prefix (-sp) --nostrip-path-prefix --strip-uri-prefix (-su) --nostrip-uri-prefix --replace-path (-rp) --noreplace-path --replace-uri (-ru) --noreplace-uri * Bash scripts now check for cygwin ---------------------------------------------------------------------- The package’s Catalogue entry can be viewed at https://ctan.org/pkg/texosquery The package’s files themselves can be inspected at http://mirror.ctan.org/support/texosquery/ ------------------------------------------------------------------------ Thanks for the upload. For the CTAN Team Petra Rübe-Pugliese ------------------------------------------------------------------------ We are supported by the TeX users groups. Please join a users group; see https://www.tug.org/usergroups.html . ----- End forwarded message -----

1 0

CTAN Update: texosquery
by CTAN Announcements 23 May '17

23 May '17

Nicola Talbot submitted an update to the texosquery package. Version: 1.5 2017-05-23 License: lppl1.3 Summary description: Cross-platform Java application to query OS information Announcement text: ---------------------------------------------------------------------- * Added new command line options to allow for mount point substitutions: --strip-path-prefix (-sp) --nostrip-path-prefix --strip-uri-prefix (-su) --nostrip-uri-prefix --replace-path (-rp) --noreplace-path --replace-uri (-ru) --noreplace-uri * Bash scripts now check for cygwin ---------------------------------------------------------------------- The package’s Catalogue entry can be viewed at https://ctan.org/pkg/texosquery The package’s files themselves can be inspected at http://mirror.ctan.org/support/texosquery/ ------------------------------------------------------------------------ Thanks for the upload. For the CTAN Team Petra Rübe-Pugliese ------------------------------------------------------------------------ We are supported by the TeX users groups. Please join a users group; see https://www.tug.org/usergroups.html .

1 0

CTAN update: beamerswitch
by CTAN Announcements 23 May '17

23 May '17

Alex Ball submitted an update to the beamerswitch package. Version number: 1.2 2017-05-22 License type: lppl1.3 Summary description: Convenient mode selection in Beamer documents Announcement text: ---------------------------------------------------------------------- The documentation has been expanded to include a `Quick start' section, explaining how to convert an existing beamer document to use beamerswitch. ---------------------------------------------------------------------- The package's Catalogue entry can be viewed at http://www.ctan.org/pkg/beamerswitch The package's files themselves can be inspected at http://mirror.ctan.org/macros/latex/contrib/beamer-contrib/beamerswitch ------------------------------------------------------------------------ Thanks for the upload. For the CTAN Team Erik Braun ------------------------------------------------------------------------ We are supported by the TeX users groups. Please join a users group; see http://www.tug.org/usergroups.html .

1 0

New on CTAN: bxcalc
by CTAN Announcements 21 May '17

21 May '17

Takayuki Yato submitted the bxcalc package. Version number: 1.0 2017-05-21 License type: mit Summary description: To extend the functionality of the calc package Announcement text: ---------------------------------------------------------------------- This package bundle consists of the following packages: - bxcalcize: To make calc expressions available in more places. - bxcalcux: To add user-defined units to the calc syntax. In addition, this bundle provides the bxcalc package, which simply loads the above-mentioned packages internally. ---------------------------------------------------------------------- This package is located at http://mirror.ctan.org/macros/latex/contrib/bxcalc More information is at http://www.ctan.org/pkg/bxcalc We are supported by the TeX User Groups. Please join a users group; see http://www.tug.org/usergroups.html . ------------------------------------------------------------------------ Thanks for the upload. For the CTAN Team Ina Dau

1 0

CTAN Update: ebproof
by CTAN Announcements 21 May '17

21 May '17

Emmanuel Beffara submitted an update to the ebproof package. Version: 2.0 2017-05-17 License: lppl1.3 Summary description: Formal proofs in the style of sequent calculus Announcement text: ---------------------------------------------------------------------- This is a complete rewrite of the package allowing for future developments. It now uses the expl3 programming environment instead of pgfkeys and additional packages. The feature set from the user's point of view is mostly unchanged except that commands have been renamed to lowercase (but backwards compatibility is preserved, with warnings) and that a new command ewrite has been added, to allow arbitrary decoration of proof subtrees. ---------------------------------------------------------------------- The package’s Catalogue entry can be viewed at https://ctan.org/pkg/ebproof The package’s files themselves can be inspected at http://mirror.ctan.org/macros/latex/contrib/ebproof/ ------------------------------------------------------------------------ Thanks for the upload. For the CTAN Team Petra Rübe-Pugliese ------------------------------------------------------------------------ We are supported by the TeX users groups. Please join a users group; see https://www.tug.org/usergroups.html .

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

ctan-ann