Francisco Coelho / zugzwang

Blame view

cspell.json 368 Bytes
Edit Raw Normal View History Permalink
3e0f9b8a   Francisco Coelho   back to work? 
1
2
3
4
5
6
 
{
    "version": "0.2",
    "ignorePaths": [],
    "dictionaryDefinitions": [],
    "dictionaries": [],
    "words": [
1e848258   Francisco Coelho   Added biblio; Add... 
7
8
9
10
 
        "autoepistemic",
        "circunspection",
        "fixpoint",
        "nonmonotonic",
3e0f9b8a   Francisco Coelho   back to work? 
11
12
13
14
15
16
17
18
19
20
 
        "struct",
        "testset"
    ],
    "ignoreWords": [],
    "import": [],
    "enabled": true,
    "enableFiletypes": [
        "latex"
    ]
}