Skip to content

Conversation

@nleanba
Copy link
Contributor

@nleanba nleanba commented Dec 27, 2025

I am submitting

  • a new package
  • an update for a package

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: nleanba/typst-theoretic@v0.2.0...v0.3.0

@typst-package-check typst-package-check bot added the update A package update. label Dec 27, 2025
@nleanba
Copy link
Contributor Author

nleanba commented Dec 27, 2025

The automatic warning is due to a argument named _defaults, it is an argument for advanced usage of a function that is already only for advanced usage, so having the underscore sends the correct signal to users. I would like to keep it this way.

@saecki saecki self-assigned this Jan 7, 2026
@saecki
Copy link
Member

saecki commented Jan 7, 2026

Thanks for the update!

@saecki saecki merged commit 03721d6 into typst:main Jan 7, 2026
2 of 3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

update A package update.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants