Bob Tennent submitted an update to the
prerex
package.
Version date: 2014-03-22
License type: gpl+lppl
Summary description: Interactive editor and macro support
for prerequisite charts
Announcement text:
----------------------------------------------------------------------
New: Support for conversion to SVG images.
----------------------------------------------------------------------
This package is located at
http://mirror.ctan.org/graphics/prerex/
More information is at
http://www.ctan.org/pkg/prerex
We are supported by the TeX Users Group http://www.tug.org .
Please join a users group; see http://www.tug.org/usergroups.html .
------------------------------------------------------------------------
Thanks for the upload.
For the CTAN Team
Petra Rübe-Pugliese
Alan Davidson submitted the
logicproof
package.
Version date: 2014/03/20
License type: lppl
Summary description: Box proofs for propositional and predicate logic
Announcement text:
----------------------------------------------------------------------
First public release
A common style of proof used in propositional and predicate
logic is Fitch proofs, in which each line of the proof has a
statement and a justification, and subproofs within a larger
proof have boxes around them. This package provides
environments for making such proofs and boxes. It creates
proofs in a style similar to the one used in Logic in Computer
Science by Huth and Ryan.
When I took a logic class in college, the professor lamented
that there wasn't a good way to make these box proofs in LaTeX,
and suggested that the class write up their assignments in
LaTeX without boxes, print them out, and draw the boxes in by
hand before turning them in. Unsatisfied with this approach, I
created some macros to draw these boxes in LaTeX itself. I
shared that code with the professor, who liked it enough to
share it with the rest of the class.
It's been nearly a decade since then, and I have recently
discovered that not only are people still using my old code,
its use has spread to other colleges. I had assumed that in the
intervening time, a professional logician would have made and
published a better implementation, but that doesn't seem to
have happened. This is an improved version of my old code, with
several problems fixed and a more standardized syntax.
----------------------------------------------------------------------
This package is located at
http://mirror.ctan.org/macros/latex/contrib/logicproof/
This Catalogue entry does not yet exist, but we will hopefully
not forget to create it:
http://www.ctan.org/pkg/logicproof
We are supported by the TeX Users Group http://www.tug.org .
Please join a users group; see http://www.tug.org/usergroups.html .
------------------------------------------------------------------------
Thanks for the upload.
For the CTAN Team
Petra Rübe-Pugliese
Maïeul Rouquette submitted the
handout
package.
Version number: 1.0.0
License type: lppl1.3
Summary description: Create handout for auditors of a talk
Announcement text:
----------------------------------------------------------------------
In some fields of scholarship, a beamer does not offer good
support when giving a talk in a proceeding. For example, in
classical philology, the main sources are text, and it will be
better to distribute a handout to the audience with extracts of
the texts about which we will talk.
The package supports preparation of such handouts when writing the
talk.
----------------------------------------------------------------------
This package is located at
http://mirror.ctan.org/macros/latex/contrib/handout
More information is at
http://www.ctan.org/pkg/handout
We are supported by the TeX Users Group http://www.tug.org .
Please join a users group; see http://www.tug.org/usergroups.html .
------------------------------------------------------------------------
Thanks for the upload.
For the CTAN Team
Manfred Lotz
Maïeul Rouquette submitted an update to the
biblatex-manuscripts-philology
package.
Version number: 1.1.1
License type: lppl
Summary description: Manage manuscripts with biblatex
Announcement text:
----------------------------------------------------------------------
The option msnoautoshorthand of the version 1.1.0 was too
powerful. It was enabled even if we didn't want.
This new version deletes this option and replaces it by a
new version of the bibstyle : manuscripts-noautoshorthand.
----------------------------------------------------------------------
This package is located at
http://mirror.ctan.org/macros/latex/contrib/biblatex-contrib/biblatex-manus…
More information is at
http://www.ctan.org/pkg/biblatex-manuscripts-philology
We are supported by the TeX Users Group http://www.tug.org .
Please join a users group; see http://www.tug.org/usergroups.html .
------------------------------------------------------------------------
Thanks for the upload.
For the CTAN Team
Petra Rübe-Pugliese
the daemon wrote:
> Name of contribution: minion2newtx
> Author's name: Michael Sharpe
> Package version: 1.05
> Location on CTAN: fonts/minion2newtx/
> Summary description: Enable use of Minion Pro with newtx
> License type: lppl
>
> Announcement text given by the package's contributor:
> ----------------------------------------------------------------------
> Brings the package into conformity with the other text options to newtxmath.
> ----------------------------------------------------------------------
>
> Announcement required: Yes
>
> Users may view the package catalogue entry at
> http://www.ctan.org/pkg/minion2newtx
> or they may browse the package directory at
> http://mirror.ctan.org/fonts/minion2newtx/
thanks for the upload; i've installed the new version, and updated the
catalogue repository.
Robin Fairbairns
For the CTAN team
the daemon reported:
> Name of contribution: efbox
> Author's name: José Romildo Malaquias
> Package version: v1.0
> Location on CTAN: /macros/latex/contrib/efbox
> Summary description: Enhanced inline box with frames on selectable
> borders and background colours
> License type: lppl
>
>
> Announcement text given by the package's contributor:
> ----------------------------------------------------------------------
> `efbox` is a LaTeX package that defines the `efbox` command, which
> creates a box just wide enough to hold the text created by its argument,
> and optionally puts a frame around the outside of the box, and it allows
> setting the box background color. It uses key-value pairs for that.
> ----------------------------------------------------------------------
>
> Announcement required: Yes
>
> Users may view the package catalogue entry at
> http://www.ctan.org/pkg/efbox
> or they may browse the package directory at
> http://mirror.ctan.org/macros/latex/contrib/efbox/
thanks for the upload; i've installed the new version, and updated the
catalogue repository.
Robin Fairbairns
For the CTAN team
Clerk Ma submitted an update to the
yandy
package.
Version number: 0.4
License type: gpl
Summary description: Y&Y TeX distribution for Win32
Announcement text:
----------------------------------------------------------------------
Changes of version 0.4:
1. added programs: dvidump.exe and checktfm.exe.
2. removed tex.pool. Strings in tex.pool are dumped
to yandy_pool.c (see the src).
3. updated yandy.vbs.
----------------------------------------------------------------------
This package is located at
http://mirror.ctan.org/systems/win32/yandy/
More information is at
http://www.ctan.org/pkg/yandy
We are supported by the TeX Users Group http://www.tug.org .
Please join a users group; see http://www.tug.org/usergroups.html .
------------------------------------------------------------------------
Thanks for the upload.
For the CTAN Team
Petra Rübe-Pugliese
Linus Romer submitted an update to the
fetamont
package.
Version number: 1.3
License type: lppl
Summary description: Fetamont is an extended version of the logo font.
Announcement text:
----------------------------------------------------------------------
* Added a randomize feature to the OpenType versions of the
script faces;
* improved the typeface documentation;
* refined the paths slightly.
----------------------------------------------------------------------
This package is located at
http://mirror.ctan.org/fonts/fetamont/
More information is at
http://www.ctan.org/pkg/fetamont
We are supported by the TeX Users Group http://www.tug.org .
Please join a users group; see http://www.tug.org/usergroups.html .
------------------------------------------------------------------------
Thanks for the upload.
For the CTAN Team
Petra Rübe-Pugliese
Maïeul Rouquette submitted an update to the
biblatex-source-division
package.
Version number: 2.1.0
License type: lppl
Summary description: Manage source division with biblatex
Announcement text:
----------------------------------------------------------------------
This release:
- adds compatibility with <x>>volcites commands.
- solve problem when using a book published in multiple volume
- change some technical ways, to allow override of macros.
----------------------------------------------------------------------
This package is located at
http://mirror.ctan.org/macros/latex/contrib/biblatex-contrib/biblatex-sourc…
More information is at
http://www.ctan.org/pkg/biblatex-source-division
We are supported by the TeX Users Group http://www.tug.org .
Please join a users group; see http://www.tug.org/usergroups.html .
------------------------------------------------------------------------
Thanks for the upload.
For the CTAN Team
Petra Rübe-Pugliese