jonas/typstar
1
0
Fork 0
mirror of https://github.com/Ascyii/typstar.git synced 2026-01-01 05:24:24 -05:00
Code Issues Packages Projects Releases Wiki Activity

minor(snip)!: update ctheorems snippets

Browse Source
This commit is contained in:
arne314
2025-04-24 11:21:42 +02:00
parent 7ea4e59c4b
commit 8e15b84bc5
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
lua/typstar/snippets/markup.lua
View File

@@ -9,8 +9,9 @@ local snip = helper.snip
local start = helper.start_snip local start = helper.start_snip
local ctheorems = { local ctheorems = {
{ 'tem', 'theorem' }, { 'the', 'theorem' },
{ 'pro', 'proof' }, { 'pro', 'proof' },
{ 'prp', 'proposition' },
{ 'axi', 'axiom' }, { 'axi', 'axiom' },
{ 'cor', 'corollary' }, { 'cor', 'corollary' },
{ 'lem', 'lemma' }, { 'lem', 'lemma' },