Added auctex and yasnippets

This commit is contained in:
TuDatTr
2017-12-21 17:29:29 +01:00
parent 2c6b54e8cc
commit 6cf4b23ee2
1717 changed files with 140403 additions and 9 deletions

View File

@@ -0,0 +1,8 @@
# name: deftype
# key: deft
# --
(deftype
^{"$1"}$>
$2$>
[$3]$>
$0)$>