Replace markdown with pulldown-cmark - #133

Merged

Kha merged 11 commits into

leanprover:masterfrom

mans0954:mans0954/remove-markdown

Sep 17, 2025

Commits on Jul 24, 2024

Replace markdown with pulldown-cmark
Christopher Hoskin
committed
5f9dd25

Commits on Jul 25, 2024

Bump pulldown-cmark from 0.6 to 0.9
Christopher Hoskin
committed
06c751e
Bump pulldown-cmark from 0.9 to 0.10
Christopher Hoskin
committed
8c40d4a
Bump pulldown-cmark from 0.10 to 0.11
Christopher Hoskin
committed
829a2b4

Commits on Apr 10, 2025

Merge branch 'master' into mans0954/remove-markdown
Christopher Hoskin
committed
aed12a0
Get it working again
Christopher Hoskin
committed
7b95d2d

Commits on Aug 24, 2025

Merge branch 'master' into mans0954/remove-markdown
Christopher Hoskin
committed
817dffe

Commits on Sep 14, 2025

Handle soft breaks correctly
Christopher Hoskin
committed
72b8fd6
Update Cargo.lock to remove markdown and add pulldown-cmark
Christopher Hoskin
committed
6a53e7f
Line space after code block
Christopher Hoskin
committed
a68c1a4
Do indenting correctly
Christopher Hoskin
committed
f69cbc2