Skip to content

Version 1.0.5
Compare
Choose a tag to compare
@PierreSenellart PierreSenellart released this 31 May 07:44
· 162 commits to master since this release
v1.0.5
This tag was signed with the committer’s verified signature.
PierreSenellart Pierre Senellart
GPG key ID: 06CCDC20BFB06E10
Learn about vigilant mode.
3570c0e

Ability to specify a sectioning counter; Compilation fix of proofsketch in inline mode

Assets 2
Loading