Open
Conversation
Contributor
There was a problem hiding this comment.
Pull request overview
This PR updates the Typst Universe packages theorion to 0.5.0 (theorem environments with multiple “cosmos” styles, i18n, references, QED handling, etc.) and ori to 0.2.4 (a document template that depends on theorion and other utilities).
Changes:
- Add Theorion
0.5.0implementation (core counter/frame logic, multiple cosmos renderers, i18n map, examples, and documentation). - Update Ori
0.2.4template/library to use Theorion0.5.0and bundle assets/docs. - Add/update package metadata (
typst.toml), READMEs, and example assets for both packages.
Reviewed changes
Copilot reviewed 21 out of 25 changed files in this pull request and generated 8 comments.
Show a summary per file
| File | Description |
|---|---|
| packages/preview/theorion/0.5.0/typst.toml | Adds Theorion package metadata for 0.5.0. |
| packages/preview/theorion/0.5.0/lib.typ | Entrypoint wiring core + cosmos modules for consumers. |
| packages/preview/theorion/0.5.0/i18n.typ | Adds i18n selection helper and translation map. |
| packages/preview/theorion/0.5.0/examples/simple.png | Example render image asset. |
| packages/preview/theorion/0.5.0/examples/example.typ | English example document demonstrating environments/blocks. |
| packages/preview/theorion/0.5.0/examples/example-zh.typ | Chinese example document demonstrating environments/blocks. |
| packages/preview/theorion/0.5.0/examples/example-ar.typ | Arabic example document demonstrating environments/blocks. |
| packages/preview/theorion/0.5.0/deps.typ | Declares external package deps used by cosmos renderers. |
| packages/preview/theorion/0.5.0/cosmos/cosmos.typ | Aggregates cosmos style modules. |
| packages/preview/theorion/0.5.0/cosmos/default.typ | Default cosmos: QED placement, blocks (note/tip/etc), quote/emph blocks. |
| packages/preview/theorion/0.5.0/cosmos/simple.typ | “Simple” cosmos renderer (LaTeX-like theorem styles). |
| packages/preview/theorion/0.5.0/cosmos/fancy.typ | “Fancy” cosmos renderer using showybox with configurable colors/symbols/radius. |
| packages/preview/theorion/0.5.0/cosmos/rainbow.typ | “Rainbow” cosmos renderer with colored border styling. |
| packages/preview/theorion/0.5.0/cosmos/clouds.typ | “Clouds” cosmos renderer with filled rounded blocks. |
| packages/preview/theorion/0.5.0/core.typ | Core logic: rich counters, frame creation, refs/outlines, indentation repair utilities. |
| packages/preview/theorion/0.5.0/README.md | Theorion documentation, examples, changelog. |
| packages/preview/theorion/0.5.0/LICENSE | Theorion license file. |
| packages/preview/ori/0.2.4/typst.toml | Ori package metadata for 0.2.4 (template package). |
| packages/preview/ori/0.2.4/thumbnail.png | Ori template thumbnail asset. |
| packages/preview/ori/0.2.4/template/main.typ | Ori template main example document and usage guide. |
| packages/preview/ori/0.2.4/lib.typ | Ori template implementation (fonts, styling, integrations, Theorion usage). |
| packages/preview/ori/0.2.4/README.md | Ori documentation and usage snippets. |
| packages/preview/ori/0.2.4/LICENSE | Ori license file. |
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
I am submitting
Description:
xxx-boxtoxxx-block—remark,note-box,important-boxare now namedremark-block,note-block,important-bblockto avoid duplicate names.@label[-]shows number only,@label[!!]shows supplement + number + title, thank theoretic for the idea#set-fancy-radius(0em)to remove the border radius for fancy cosmos#theorem[Title][Body]as an alternative to#theorem[Title][Body]number(e.g.number: (2, 3)) to set the counter and continue numbering from there#set-indent-mode— configure paragraph indentation inside theorem environments (auto,none, a length, or a dictionary)#indent-repairer— automatically repairs first-paragraph indentation inside theorem bodiesproofnow correctly places the QED symbol at the bottom-right of block equations when the proof ends with a math equation, thank theoretic for the idea#qedhere— new function to manually place the QED symbol at a specific position forproof,solutionandconclusionnote,remark,example,problem,exerciseenvironmentsfirst-line-indentis set