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