From 2af72ba9636bec70046394c41744f89ce4572e35 Mon Sep 17 00:00:00 2001 From: Ilia Motornyi Date: Thu, 3 Dec 2015 14:59:05 +0000 Subject: Revert "Merge branch 'documentation'" This reverts commit f6874bde3d945c8b2d1b5c17ab50e2d0f1f8ff00. Change-Id: I67ee1c30ba3e3bcc3c43a1dd2e73a822791514bf --- documentation/introduction/intro-eclipse.asciidoc | 40 ----------------------- 1 file changed, 40 deletions(-) delete mode 100644 documentation/introduction/intro-eclipse.asciidoc (limited to 'documentation/introduction/intro-eclipse.asciidoc') diff --git a/documentation/introduction/intro-eclipse.asciidoc b/documentation/introduction/intro-eclipse.asciidoc deleted file mode 100644 index b2fb127f7b..0000000000 --- a/documentation/introduction/intro-eclipse.asciidoc +++ /dev/null @@ -1,40 +0,0 @@ ---- -title: Support for the Eclipse IDE -order: 3 -layout: page ---- - -[[intro.eclipse]] -= Support for the Eclipse IDE - -While Vaadin is not bound to any specific IDE, and you can in fact easily use it -without any IDE altogether, we provide special support for the Eclipse IDE, -which has become the most used environment for Java development. The support is -provided in the Vaadin Plugin for Eclipse, which helps you in: - -* Creating new Vaadin projects - -* Creating custom themes - -* Creating custom client-side widgets - -* Easily upgrading to a newer version of the Vaadin library - - -Using the Vaadin Plugin for Eclipse is the recommended way of installing Vaadin -for development. Downloading the installation package that contains the JARs or -defining Vaadin as a Maven dependency is also possible. - -Installing and updating the Eclipse plugin is covered in -<> and the creation of a new Vaadin project using the plugin -in -<>. See -<> and -<> for instructions on using the different features of the plugin. - - - -- cgit v1.2.3