mirror of
https://github.com/Ascyii/typstar.git
synced 2026-01-01 05:24:24 -05:00
revert: theorem trigger
This commit is contained in:
@@ -9,7 +9,7 @@ local snip = helper.snip
|
||||
local start = helper.start_snip
|
||||
|
||||
local ctheorems = {
|
||||
{ 'the', 'theorem' },
|
||||
{ 'tem', 'theorem' },
|
||||
{ 'pro', 'proof' },
|
||||
{ 'prp', 'proposition' },
|
||||
{ 'axi', 'axiom' },
|
||||
|
||||
Reference in New Issue
Block a user