|
|
|
|
@ -567,6 +567,10 @@
|
|
|
|
|
"type": "text",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "text_mode",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "theorem_definition",
|
|
|
|
|
"named": true
|
|
|
|
|
@ -887,6 +891,10 @@
|
|
|
|
|
"type": "text",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "text_mode",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "theorem_definition",
|
|
|
|
|
"named": true
|
|
|
|
|
@ -1596,6 +1604,10 @@
|
|
|
|
|
"type": "text",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "text_mode",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "theorem_definition",
|
|
|
|
|
"named": true
|
|
|
|
|
@ -1787,6 +1799,10 @@
|
|
|
|
|
"type": "text",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "text_mode",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "theorem_definition",
|
|
|
|
|
"named": true
|
|
|
|
|
@ -2084,6 +2100,10 @@
|
|
|
|
|
"type": "text",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "text_mode",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "theorem_definition",
|
|
|
|
|
"named": true
|
|
|
|
|
@ -2324,6 +2344,10 @@
|
|
|
|
|
"type": "text",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "text_mode",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "theorem_definition",
|
|
|
|
|
"named": true
|
|
|
|
|
@ -2632,6 +2656,10 @@
|
|
|
|
|
"type": "text",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "text_mode",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "theorem_definition",
|
|
|
|
|
"named": true
|
|
|
|
|
@ -3228,6 +3256,10 @@
|
|
|
|
|
"type": "text",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "text_mode",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "theorem_definition",
|
|
|
|
|
"named": true
|
|
|
|
|
@ -3779,6 +3811,10 @@
|
|
|
|
|
"type": "text",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "text_mode",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "theorem_definition",
|
|
|
|
|
"named": true
|
|
|
|
|
@ -3998,6 +4034,10 @@
|
|
|
|
|
"type": "text",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "text_mode",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "theorem_definition",
|
|
|
|
|
"named": true
|
|
|
|
|
@ -4365,6 +4405,10 @@
|
|
|
|
|
"type": "text",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "text_mode",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "theorem_definition",
|
|
|
|
|
"named": true
|
|
|
|
|
@ -4605,6 +4649,10 @@
|
|
|
|
|
"type": "text",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "text_mode",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "theorem_definition",
|
|
|
|
|
"named": true
|
|
|
|
|
@ -4873,6 +4921,10 @@
|
|
|
|
|
"type": "text",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "text_mode",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "theorem_definition",
|
|
|
|
|
"named": true
|
|
|
|
|
@ -5084,6 +5136,10 @@
|
|
|
|
|
"type": "text",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "text_mode",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "theorem_definition",
|
|
|
|
|
"named": true
|
|
|
|
|
@ -5292,6 +5348,10 @@
|
|
|
|
|
"type": "text",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "text_mode",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "theorem_definition",
|
|
|
|
|
"named": true
|
|
|
|
|
@ -5512,6 +5572,10 @@
|
|
|
|
|
"type": "text",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "text_mode",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "theorem_definition",
|
|
|
|
|
"named": true
|
|
|
|
|
@ -5728,6 +5792,10 @@
|
|
|
|
|
"type": "text",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "text_mode",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "theorem_definition",
|
|
|
|
|
"named": true
|
|
|
|
|
@ -5941,6 +6009,40 @@
|
|
|
|
|
]
|
|
|
|
|
}
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "text_mode",
|
|
|
|
|
"named": true,
|
|
|
|
|
"fields": {
|
|
|
|
|
"command": {
|
|
|
|
|
"multiple": false,
|
|
|
|
|
"required": true,
|
|
|
|
|
"types": [
|
|
|
|
|
{
|
|
|
|
|
"type": "\\intertext",
|
|
|
|
|
"named": false
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "\\text",
|
|
|
|
|
"named": false
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "shortintertext",
|
|
|
|
|
"named": false
|
|
|
|
|
}
|
|
|
|
|
]
|
|
|
|
|
},
|
|
|
|
|
"content": {
|
|
|
|
|
"multiple": false,
|
|
|
|
|
"required": true,
|
|
|
|
|
"types": [
|
|
|
|
|
{
|
|
|
|
|
"type": "curly_group",
|
|
|
|
|
"named": true
|
|
|
|
|
}
|
|
|
|
|
]
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "theorem_definition",
|
|
|
|
|
"named": true,
|
|
|
|
|
@ -6175,6 +6277,10 @@
|
|
|
|
|
"type": "text",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "text_mode",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "theorem_definition",
|
|
|
|
|
"named": true
|
|
|
|
|
@ -7056,6 +7162,10 @@
|
|
|
|
|
"type": "\\inputfrom",
|
|
|
|
|
"named": false
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "\\intertext",
|
|
|
|
|
"named": false
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "\\item",
|
|
|
|
|
"named": false
|
|
|
|
|
@ -7256,6 +7366,10 @@
|
|
|
|
|
"type": "\\svolcite",
|
|
|
|
|
"named": false
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "\\text",
|
|
|
|
|
"named": false
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "\\textcite",
|
|
|
|
|
"named": false
|
|
|
|
|
@ -7336,6 +7450,10 @@
|
|
|
|
|
"type": "placeholder",
|
|
|
|
|
"named": true
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "shortintertext",
|
|
|
|
|
"named": false
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"type": "source_code",
|
|
|
|
|
"named": true
|
|
|
|
|
|