• Fixed alignment and block-breaking issues resulting from breaking changes in Typst 0.12.

Special thanks to @PgBiel.

• Introduced the thmproof function for creating proof environments.
• Inserting #qedhere in a block equation/list/enum item (in a proof) places the qed symbol on the same line. The qed symbol can be customized via thmrules.

• Extra named arguments given to a theorem environment produced by thmbox (or thmplain) are passed to block.

Notes

See #17 (comment) for an illustration of this feature.

• Extra named arguments given to thmbox are passed to block.
• Fixed spacing bug for unnumbered environments.

Breaking changes

• The supplement (for references) is no longer set in thmenv. It can be passed to the theorem environment directly, along with refnumbering to control the appearance of @references.

Notes

• The 'dummy figure' (used for marking a location for accessing the correct counter) has been replaced with labelled metadata.

• Normal use of <label>s and @references implemented.

Breaking changes

• Removed thmref.
• Import must be followed by show: thmrules.
• Syntax change from #theorem(name: "Euclid")[] to simply #theorem("Euclid")[].

Notes

• Theorem environments are wrapped in figures, inspired by lemmify, an admittedly hacky solution to allow attaching <label>s.

• Numbered theorem environments via thmenv.
• References via thmref and labels.
• Predefined box and plain theorem styles, via thmbox and thmplain.