From 8e15b84bc568ad3286b2595ddd71aac6f636ac50 Mon Sep 17 00:00:00 2001
From: arne314 <73391160+arne314@users.noreply.github.com>
Date: Thu, 24 Apr 2025 11:21:42 +0200
Subject: [PATCH] minor(snip)!: update ctheorems snippets

---
 lua/typstar/snippets/markup.lua | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lua/typstar/snippets/markup.lua b/lua/typstar/snippets/markup.lua
index 93af10d..bb42225 100644
--- a/lua/typstar/snippets/markup.lua
+++ b/lua/typstar/snippets/markup.lua
@@ -9,8 +9,9 @@ local snip = helper.snip
 local start = helper.start_snip
 
 local ctheorems = {
-    { 'tem', 'theorem' },
+    { 'the', 'theorem' },
     { 'pro', 'proof' },
+    { 'prp', 'proposition' },
     { 'axi', 'axiom' },
     { 'cor', 'corollary' },
     { 'lem', 'lemma' },