lean4monaco 1.0.13 → 1.0.14
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +3 -9
- package/package.json +1 -1
package/README.md
CHANGED
|
@@ -92,13 +92,7 @@ export default {
|
|
|
92
92
|
}
|
|
93
93
|
```
|
|
94
94
|
|
|
95
|
-
Moreover, the infoview javascript files need to be served
|
|
96
|
-
|
|
97
|
-
```
|
|
98
|
-
npm install @leanprover/infoview
|
|
99
|
-
```
|
|
100
|
-
|
|
101
|
-
and serve the files by adding the following to `vite.config.ts` :
|
|
95
|
+
Moreover, the infoview javascript files need to be served:
|
|
102
96
|
|
|
103
97
|
```ts
|
|
104
98
|
// vite.config.ts
|
|
@@ -113,14 +107,14 @@ export default {
|
|
|
113
107
|
targets: [
|
|
114
108
|
{
|
|
115
109
|
src: [
|
|
116
|
-
normalizePath(path.resolve(__dirname, './node_modules/@leanprover/infoview/dist/*')),
|
|
110
|
+
normalizePath(path.resolve(__dirname, './node_modules/lean4monaco/node_modules/@leanprover/infoview/dist/*')),
|
|
117
111
|
normalizePath(path.resolve(__dirname, './node_modules/lean4monaco/dist/webview/webview.js')),
|
|
118
112
|
],
|
|
119
113
|
dest: 'infoview'
|
|
120
114
|
},
|
|
121
115
|
{
|
|
122
116
|
src: [
|
|
123
|
-
normalizePath(path.resolve(__dirname, './node_modules/@leanprover/infoview/dist/codicon.ttf'))
|
|
117
|
+
normalizePath(path.resolve(__dirname, './node_modules/lean4monaco/node_modules/@leanprover/infoview/dist/codicon.ttf'))
|
|
124
118
|
],
|
|
125
119
|
dest: 'assets'
|
|
126
120
|
}
|