Skip to content

Version 1.4.1 release

Latest
Latest

Choose a tag to compare

View all tags
@PierreSenellart PierreSenellart released this 02 Jun 14:58
v1.4.1
This tag was signed with the committer’s verified signature.
PierreSenellart Pierre Senellart
GPG key ID: 06CCDC20BFB06E10
Verified
Learn about vigilant mode.
b16ad10
  • Fire \apxproofhook (used by the proofgraph package) when a deferred proof, or a titled inline proof, is typeset
Assets 2
Loading