diff --git a/CONTRIBUTING.adoc b/CONTRIBUTING.adoc index 7835ea230..989590817 100644 --- a/CONTRIBUTING.adoc +++ b/CONTRIBUTING.adoc @@ -1,6 +1,6 @@ -= Contributing to Spring Tools 4 += Contributing to Spring Tools -Spring Tools 4 is released under the Eclipse Public License 1.0 (EPL). If you would like to contribute +Spring Tools is released under the Eclipse Public License 1.0 (EPL). If you would like to contribute something, or simply want to hack on the code this document should help you get started. == Code of Conduct @@ -8,7 +8,7 @@ Please see our https://github.com/spring-projects/.github/blob/master/CODE_OF_CO == Using GitHub issues We use GitHub issues to track bugs and enhancements. If you have a general usage question -please ask on https://stackoverflow.com[Stack Overflow]. The Spring Tools 4 team and the +please ask on https://stackoverflow.com[Stack Overflow]. The Spring Tools team and the broader community monitor the https://stackoverflow.com/tags/spring-tools-4[`spring-tools-4`] tag. diff --git a/README.md b/README.md index b7eb9a1ed..f93be4083 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,6 @@ # STS4 -The all-new Spring Tools 4 for Eclipse, Visual Studio Code, and Theia. Learn more at https://spring.io/tools. +The all-new Spring Tools for Eclipse, Visual Studio Code, and Theia. Learn more at https://spring.io/tools. ## Getting started @@ -8,8 +8,8 @@ The all-new Spring Tools 4 for Eclipse, Visual Studio Code, and Theia. Learn mor Depending on your development environment, you can choose between: -- __Spring Tools 4 for Eclipse distribution:__ a ready-to-use distribution of the latest Eclipse Desktop IDE, prepackaged with Spring Tools 4 and a few additional third-party extensions. Download, unpack, and start. -- __Spring Tools 4 for Eclipse extensions:__ you can install the Spring Tools 4 for Eclipse into an existing Eclipse Desktop IDE installation and use it from there. +- __Spring Tools for Eclipse distribution:__ a ready-to-use distribution of the latest Eclipse Desktop IDE, prepackaged with Spring Tools and a few additional third-party extensions. Download, unpack, and start. +- __Spring Tools for Eclipse extensions:__ you can install the Spring Tools for Eclipse into an existing Eclipse Desktop IDE installation and use it from there. - __Visual Studio Code:__ We provide extensions for Visual Studio Code if you prefer this lightweight editor for your development. - __Eclipse Theia:__ You can install the same extensions into Theia-based environments like gitpod. diff --git a/eclipse-distribution/common/html/nightly-distributions.html b/eclipse-distribution/common/html/nightly-distributions.html index 8eb98cc5d..f9f90c994 100644 --- a/eclipse-distribution/common/html/nightly-distributions.html +++ b/eclipse-distribution/common/html/nightly-distributions.html @@ -2,7 +2,7 @@
-