equal
deleted
inserted
replaced
34 "properties": { |
34 "properties": { |
35 "isabelle.home": { |
35 "isabelle.home": { |
36 "type": "string", |
36 "type": "string", |
37 "default": "", |
37 "default": "", |
38 "description": "ISABELLE_HOME directory" |
38 "description": "ISABELLE_HOME directory" |
|
39 }, |
|
40 "isabelle.arguments": { |
|
41 "type": "array", |
|
42 "items": { "type": "string" }, |
|
43 "default": [], |
|
44 "description": "command-line arguments for isabelle vscode_server" |
39 } |
45 } |
40 } |
46 } |
41 } |
47 } |
42 }, |
48 }, |
43 "scripts": { |
49 "scripts": { |