diff options
Diffstat (limited to 'package.json')
| -rw-r--r-- | package.json | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/package.json b/package.json index 5e157b2..70a245a 100644 --- a/package.json +++ b/package.json @@ -25,6 +25,7 @@ "@xterm/xterm": "^5.5.0", "chokidar": "^3.6.0", "diff-match-patch": "^1.0.5", + "katex": "^0.16.38", "node-pty": "^1.0.0", "pdfjs-dist": "^4.9.155", "react": "^18.3.1", @@ -35,6 +36,7 @@ }, "devDependencies": { "@types/diff-match-patch": "^1.0.36", + "@types/katex": "^0.16.8", "@types/react": "^18.3.11", "@types/react-dom": "^18.3.1", "@types/ws": "^8.18.1", |