2021-03-27 16:02:43 +00:00
|
|
|
{
|
|
|
|
|
"abbrev": "",
|
|
|
|
|
"description": [
|
|
|
|
|
""
|
|
|
|
|
],
|
|
|
|
|
"formatVersion": 1,
|
|
|
|
|
"menu": "",
|
2022-01-06 19:05:56 +00:00
|
|
|
"name": "Définiton",
|
2021-05-05 19:54:35 +00:00
|
|
|
"shortcut": "",
|
2021-03-27 16:02:43 +00:00
|
|
|
"tag": [
|
2022-01-06 19:05:56 +00:00
|
|
|
"% définition",
|
|
|
|
|
"\\begin{definition}[]",
|
2021-05-05 19:54:35 +00:00
|
|
|
"\t",
|
2022-01-06 19:05:56 +00:00
|
|
|
"\\end{definition}"
|
2021-03-27 16:02:43 +00:00
|
|
|
],
|
|
|
|
|
"trigger": ""
|
|
|
|
|
}
|
