fix: use theorion

Author: OrangeX4

docs/integration/theorion.md

@@ -0,0 +1,73 @@
+---
+sidebar_position: 6
+---
+
+# [Theorion](https://github.com/OrangeX4/typst-theorion)
+
+Touying can work properly with the [Theorion](https://github.com/OrangeX4/typst-theorion) package, you can directly use the [theorion](https://github.com/OrangeX4/typst-theorion) package. Additionally, you can use `#set heading(numbering: "1.1")` to set numbering for sections and subsections.
+
+**Note: To make animation commands like `#pause` work properly with theorion, you need to use `config-common(frozen-counters: (theorem-counter,))` to bind counters that need to be frozen.**
+
+```typst
+#import "@preview/touying:0.6.1": *
+#import themes.university: *
+#import "@preview/numbly:0.1.0": numbly
+#import "@preview/theorion:0.3.2": *
+#import cosmos.clouds: *
+#show: show-theorion
+
+#show: university-theme.with(
+  aspect-ratio: "16-9",
+  config-common(frozen-counters: (theorem-counter,)),  // freeze theorem counter for animation
+)
+
+#set heading(numbering: numbly("{1}.", default: "1.1"))
+
+= Theorems
+
+== Prime numbers
+
+#definition[
+  A natural number is called a #highlight[_prime number_] if it is greater
+  than 1 and cannot be written as the product of two smaller natural numbers.
+]
+#example[
+  The numbers $2$, $3$, and $17$ are prime.
+  @cor_largest_prime shows that this list is not exhaustive!
+]
+
+#pause
+
+#theorem(title: "Euclid")[
+  There are infinitely many primes.
+]
+
+#pagebreak(weak: true)
+
+#proof[
+  Suppose to the contrary that $p_1, p_2, dots, p_n$ is a finite enumeration
+  of all primes. Set $P = p_1 p_2 dots p_n$. Since $P + 1$ is not in our list,
+  it cannot be prime. Thus, some prime factor $p_j$ divides $P + 1$. Since
+  $p_j$ also divides $P$, it must divide the difference $(P + 1) - P = 1$, a
+  contradiction.
+]
+
+#corollary[
+  There is no largest prime number.
+] <cor_largest_prime>
+#corollary[
+  There are infinitely many composite numbers.
+]
+
+#theorem[
+  There are arbitrarily long stretches of composite numbers.
+]
+
+#proof[
+  For any $n > 2$, consider $
+    n! + 2, quad n! + 3, quad ..., quad n! + n
+  $
+]
+```
+
+![image](https://github.com/user-attachments/assets/f54dd873-aa20-4703-b83e-8748658b569a)

docs/start.md

@@ -43,7 +43,7 @@ Touying offers many built-in themes to easily create beautiful slides. For examp
 #import "@preview/cetz:0.3.2"
 #import "@preview/fletcher:0.5.4" as fletcher: node, edge
 #import "@preview/numbly:0.1.0": numbly
-#import "@preview/theorion:0.3.0": *
+#import "@preview/theorion:0.3.2": *
 #import cosmos.clouds: *
 #show: show-theorion
 

i18n/zh/docusaurus-plugin-content-docs/current/integration/cetz.md

@@ -13,8 +13,8 @@ Touying 提供了 `touying-reducer`，它能为 cetz 与 fletcher 加入 `pause`
 ```typst
 #import "@preview/touying:0.6.1": *
 #import themes.metropolis: *
-#import "@preview/cetz:0.3.1"
-#import "@preview/fletcher:0.5.3" as fletcher: node, edge
+#import "@preview/cetz:0.3.2"
+#import "@preview/fletcher:0.5.4" as fletcher: node, edge
 
 // cetz and fletcher bindings for touying
 #let cetz-canvas = touying-reducer.with(reduce: cetz.canvas, cover: cetz.draw.hide.with(bounds: true))

i18n/zh/docusaurus-plugin-content-docs/current/integration/ctheorems.md

@@ -11,8 +11,8 @@ Touying 提供了 `touying-reducer`，它能为 fletcher 加入 `pause` 和 `mea
 ```typst
 #import "@preview/touying:0.6.1": *
 #import themes.metropolis: *
-#import "@preview/cetz:0.3.1"
-#import "@preview/fletcher:0.5.3" as fletcher: node, edge
+#import "@preview/cetz:0.3.2"
+#import "@preview/fletcher:0.5.4" as fletcher: node, edge
 
 // cetz and fletcher bindings for touying
 #let cetz-canvas = touying-reducer.with(reduce: cetz.canvas, cover: cetz.draw.hide.with(bounds: true))

i18n/zh/docusaurus-plugin-content-docs/current/integration/fletcher.md

@@ -9,7 +9,7 @@ sidebar_position: 2
 示例：
 
 ```typst
-#import "@preview/mitex:0.2.3": *
+#import "@preview/mitex:0.2.5": *
 
 Write inline equations like #mi("x") or #mi[y].
 

i18n/zh/docusaurus-plugin-content-docs/current/integration/mitex.md

@@ -9,7 +9,7 @@ sidebar_position: 1
 ## 简单示例
 
 ```typst
-#import "@preview/pinit:0.2.0": *
+#import "@preview/pinit:0.2.2": *
 
 #set text(size: 24pt)
 
@@ -38,7 +38,7 @@ A simple #pin(1)highlighted text#pin(2).
 ```typst
 #import "@preview/touying:0.6.1": *
 #import themes.default: *
-#import "@preview/pinit:0.2.0": *
+#import "@preview/pinit:0.2.2": *
 
 #set text(size: 20pt, font: "Calibri", ligatures: false)
 #show heading: set text(weight: "regular")

i18n/zh/docusaurus-plugin-content-docs/current/integration/pinit.md

@@ -2,32 +2,26 @@
 sidebar_position: 6
 ---
 
-# Ctheorems
+# Theorion
 
-Touying can work seamlessly with the `ctheorems` package, allowing you to directly use the `ctheorems` package.
+Touying 能够与 theorion 包一起正常工作，你可以直接使用 theorion 包。其中，你还可以使用 `#set heading(numbering: "1.1")` 为 sections 和 subsections 设置 numbering。
 
-Moreover, you can utilize `#set heading(numbering: "1.1")` to set numbering for sections and subsections.
+**注意：为了让 `#pause` 等动画命令与 theorion 一起正常工作，你需要使用 `config-common(frozen-counters: (theorem-counter,))` 来绑定需要冻结的 counter。**
 
 ```typst
 #import "@preview/touying:0.6.1": *
-#import themes.simple: *
-#import "@preview/ctheorems:1.1.3": *
+#import themes.university: *
 #import "@preview/numbly:0.1.0": numbly
+#import "@preview/theorion:0.3.2": *
+#import cosmos.clouds: *
+#show: show-theorion
 
-// Theorems configuration by ctheorems
-#show: thmrules.with(qed-symbol: $square$)
-#let theorem = thmbox("theorem", "Theorem", fill: rgb("#eeffee"))
-#let corollary = thmplain(
-  "corollary",
-  "Corollary",
-  base: "theorem",
-  titlefmt: strong
+#show: university-theme.with(
+  aspect-ratio: "16-9",
+  config-common(frozen-counters: (theorem-counter,)),  // freeze theorem counter for animation
 )
-#let definition = thmbox("definition", "Definition", inset: (x: 1.2em, top: 1em))
-#let example = thmplain("example", "Example").with(numbering: none)
-#let proof = thmproof("proof", "Proof")
 
-#show: simple-theme.with(aspect-ratio: "16-9")
+#set heading(numbering: numbly("{1}.", default: "1.1"))
 
 = Theorems
 
@@ -42,13 +36,18 @@ Moreover, you can utilize `#set heading(numbering: "1.1")` to set numbering for
   @cor_largest_prime shows that this list is not exhaustive!
 ]
 
-#theorem("Euclid")[
+#pause
+
+#theorem(title: "Euclid")[
   There are infinitely many primes.
 ]
+
+#pagebreak(weak: true)
+
 #proof[
   Suppose to the contrary that $p_1, p_2, dots, p_n$ is a finite enumeration
   of all primes. Set $P = p_1 p_2 dots p_n$. Since $P + 1$ is not in our list,
-  it cannot be prime. Thus, some prime factor $p_j$ divides $P + 1$.  Since
+  it cannot be prime. Thus, some prime factor $p_j$ divides $P + 1$. Since
   $p_j$ also divides $P$, it must divide the difference $(P + 1) - P = 1$, a
   contradiction.
 ]
@@ -66,9 +65,9 @@ Moreover, you can utilize `#set heading(numbering: "1.1")` to set numbering for
 
 #proof[
   For any $n > 2$, consider $
-    n! + 2, quad n! + 3, quad ..., quad n! + n #qedhere
+    n! + 2, quad n! + 3, quad ..., quad n! + n
   $
 ]
 ```
 
-![image](https://github.com/touying-typ/touying/assets/34951714/b506da7e-b7d6-4493-b35a-2307cfd38ddc)
+![image](https://github.com/user-attachments/assets/f54dd873-aa20-4703-b83e-8748658b569a)

docs/integration/ctheorems.md renamed to i18n/zh/docusaurus-plugin-content-docs/current/integration/theorion.md

@@ -41,7 +41,7 @@ Hello, Typst!
 #import "@preview/cetz:0.3.2"
 #import "@preview/fletcher:0.5.4" as fletcher: node, edge
 #import "@preview/numbly:0.1.0": numbly
-#import "@preview/theorion:0.3.0": *
+#import "@preview/theorion:0.3.2": *
 #import cosmos.clouds: *
 #show: show-theorion
 

i18n/zh/docusaurus-plugin-content-docs/current/start.md

@@ -13,8 +13,8 @@ Touying 提供了 `touying-reducer`，它能为 cetz 与 fletcher 加入 `pause`
 ```typst
 #import "@preview/touying:0.6.1": *
 #import themes.metropolis: *
-#import "@preview/cetz:0.3.1"
-#import "@preview/fletcher:0.5.3" as fletcher: node, edge
+#import "@preview/cetz:0.3.2"
+#import "@preview/fletcher:0.5.4" as fletcher: node, edge
 
 // cetz and fletcher bindings for touying
 #let cetz-canvas = touying-reducer.with(reduce: cetz.canvas, cover: cetz.draw.hide.with(bounds: true))