v0.4.0 Nested Numbers

This update adds parameters numbering and numbering-depth to customize the theorem numbering. In particular, the latter parameter customizes how many levels of the headings are inherited. This was requested in #9 (and #11).

Also, this adds a #theoretic.configure() function which allows setting these for all subsequent theorems, because these seem like things that would be set for all theorem-environments. I may add more options to configure in the future.

Full Changelog: v0.3.1...v0.4.0

v0.3.1

This release only fixes some bugs.

• Improved handling of positional arguments: Fixes #6.
• Fixed bug in QED-handling: Fixes #7.
• Added missing color for "Proposition" in fancy preset

Full Changelog: v0.3.0...v0.3.1

v0.3.0: Styling overhaul

Styling Changes

The old fmt-prefix and fmt-body have been removed, instead there is now more fine-grained control available.

There are now styled presets: basic, corners, columns, fancy, bar, colorbox. These can be controlled by a variant parameter on the theorem (e.g. variant: "important" adds a frame around the theorem in most presets), and a fine-grained options dictionary.

The basic style closely mimics the "amsthm" style, and there is similar options available: e.g. remove the . after the title by using options: (head-punct: none).

For full control and defining custom styles, there is a show-theorem parameter which allows for completely custom rendering.

Other Changes

• title and label arguments can now be passed as positional or named arguments
• solution is now a named argument
• It now takes a piece of content as suffix (qed), instead of a function (fmt-suffix)
• Nested proofs are now supported (with correct QED placement)
• There is a new qed-in-equation() helper function to help with manually placed QEDs after block equations.
• Restated theorems now use the same style as the original automatically.
• Solutions section: You can now customize what environment/style to use for the solutions.

Please see the manual for full documentation.

Full Changelog: v0.2.0...v0.3.0

v0.2.0

What's Changed

• Typst 13 Compatibility by @nleanba in #1
  • Outline customization no longer uses show rules. Check the manual.

Full Changelog: v0.1.1...v0.2.0

v0.1.1 Automatic QED

Proofs (theoretic.theorem with fmt-suffix != none) will now automatically place the qed mark inside any trailing lists/enums, and aligned with any trailing block equations!

Full Changelog: v0.1.0...v0.1.1

v0.1.0

Full Changelog: https://github.com/nleanba/typst-theoretic/commits/v0.1.0