Francisco Coelho / zugzwang

Blame view

zugzwang.code-workspace 537 Bytes
Edit Raw Normal View History Permalink
b6e04759   Francisco Coelho   new biblio 
1
2
3
4
5
6
 
{
	"folders": [
		{
			"path": "."
		},
		{
1e848258   Francisco Coelho   Added biblio; Add... 
7
 
			"path": "text/iclp24"
b6e04759   Francisco Coelho   new biblio 
8
9
 
		},
		{
1e848258   Francisco Coelho   Added biblio; Add... 
10
 
			"path": "text/kr24"
b6e04759   Francisco Coelho   new biblio 
11
12
 
		}
	],
3e0f9b8a   Francisco Coelho   back to work? 
13
14
15
 
	"settings": {
		"cSpell.words": [
			"biblatex",
4fffc2cd   Francisco Coelho   After IJCAR24 rev... 
16
 
			"cplint",
3e0f9b8a   Francisco Coelho   back to work? 
17
 
			"CREDAL",
8ea546b6   Francisco Coelho   edited kr24 
18
19
 
			"functors",
			"Herbrand",
ab101994   Francisco Coelho   ALMOST All Tasks ... 
20
 
			"Hirings",
3e0f9b8a   Francisco Coelho   back to work? 
21
22
 
			"interpretability",
			"println",
3fd98130   Francisco Coelho   Completed TASKS d... 
23
 
			"SASP",
3e0f9b8a   Francisco Coelho   back to work? 
24
25
26
27
28
29
30
31
 
			"stablecore",
			"testset",
			"uminus"
		],
		"cSpell.enableFiletypes": [
			"latex"
		],
		"aspLanguage.setConfig": "config.json",
4fffc2cd   Francisco Coelho   After IJCAR24 rev... 
32
33
 
		"julia.environmentPath": "/home/fc/sci/projetos/zugzwang",
		"liveServer.settings.multiRootWorkspaceName": "zugzwang"
3e0f9b8a   Francisco Coelho   back to work? 
34
 
	}
b6e04759   Francisco Coelho   new biblio 
35
 
}