Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Software and Platforms


Keyword: LaTeX

Functional Description: apxproof is a LaTeX package facilitating the typesetting of research articles with proofs in appendix, a common practice in database theory and theoretical computer science in general. The appendix material is written in the LaTeX code along with the main text which it naturally complements, and it is automatically deferred. The package can automatically send proofs to the appendix, can repeat in the appendix the theorem environments stated in the main text, can section the appendix automatically based on the sectioning of the main text, and supports a separate bibliography for the appendix material.

Release Functional Description: Numerous bug fixes and robustness enhancements, link theorems to their repeated Versions, proper management of equations in repeated theorems

News Of The Year: Major 1.1.0 release adding several features (link theorems to their repeated versions, proper management of equations in repeated theorems), beyond this, bug fixes, robustness enhancements, better support for some document classes.