Update ides.md

UniFormal · May 10, 2023 · 3213c45 · 3213c45
1 parent c622200
commit 3213c45
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/doc/applications/ides.md b/doc/applications/ides.md
@@ -4,7 +4,6 @@ title: IDEs
 ---
 
 There are currently two IDEs available for creating and editing MMT content:
-* An [IntelliJ-Plugin](intellij) and
-* A [jEdit-Plugin](jedit).
-
-Their functionality overlaps strongly, and which IDE to use is largely a matter of personal taste.
+* ~~An [IntelliJ-Plugin](intellij)~~ (not supported anymore
+* A [jEdit-Plugin](jedit) and
+* A [VSCode Extension](https://github.com/UniFormal/VSCode-MMT) (in development)