From e62c9a4c5e4729b4d827672f463ee621b70bd475 Mon Sep 17 00:00:00 2001 From: Per Tillisch Date: Tue, 7 Jan 2025 02:49:56 -0800 Subject: [PATCH] Correct name of Theia IDE (#699) This sentence previously referred to Theia IDE as "Eclipse IDE". Eclipse IDE is a completely different application so this was incorrect. --- src/docs/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/docs/index.md b/src/docs/index.md index cf365c46..82638dd9 100644 --- a/src/docs/index.md +++ b/src/docs/index.md @@ -9,7 +9,7 @@ Eclipse Theia is a platform for building custom Cloud & Desktop IDEs and tools w ## Use Eclipse Theia (IDE) -You cannot directly launch/use Theia as it is a platform. The project provides one tool called [Eclipse IDE](/#theiaide) that you can directly download and use. Further, it is very easy to [create your own product based on Theia](/docs/composing_applications/). Please also refer to [this article](https://eclipsesource.com/de/blogs/2019/09/25/how-to-launch-eclipse-theia/) highlighting the various options available to [launch/try Eclipse Theia and Theia-based products](https://eclipsesource.com/de/blogs/2019/09/25/how-to-launch-eclipse-theia/). +You cannot directly launch/use Theia as it is a platform. The project provides one tool called [Theia IDE](/#theiaide) that you can directly download and use. Further, it is very easy to [create your own product based on Theia](/docs/composing_applications/). Please also refer to [this article](https://eclipsesource.com/de/blogs/2019/09/25/how-to-launch-eclipse-theia/) highlighting the various options available to [launch/try Eclipse Theia and Theia-based products](https://eclipsesource.com/de/blogs/2019/09/25/how-to-launch-eclipse-theia/). ## Build a tool or IDE based on Eclipse Theia