diff --git a/README.md b/README.md
index 9a70180fa223d8e13cfdcedae8cb4f888615c5a2..381dddb8bc08a2e13c8b958e57d1f90712a4002d 100644
--- a/README.md
+++ b/README.md
@@ -127,6 +127,17 @@ Scala compiler.
 Now we can make sure that the build went fine. Leon comes with a test suite.
 Use ```sbt test``` to run all the tests.
 
+Using Leon in Eclipse
+---------------------
+
+Type: ```sbt eclipse```
+
+This should create all the necessary metadata for using Leon as a project in Eclipse.
+Specifically, two Eclipse projects are generated in corresponding directories: the main *Leon* project in the Leon root directory, and the *Leon library* project in the ```library``` subdirectory.
+You should now be able to [import the projects](http://help.eclipse.org/juno/index.jsp?topic=%2Forg.eclipse.platform.doc.user%2Ftasks%2Ftasks-importproject.htm) into your Eclipse workspace.
+Since the main Leon project depends on the library, you should import both of them.
+
+
 Changelog
 ---------
 
@@ -151,4 +162,3 @@ Changelog
 #### v2.0
 
 * First release
-
diff --git a/build.sbt b/build.sbt
index cb03e4a5ed37da6c0c0937e2a39d48197ef10e21..a3d699e50b71768ecfd2f54b5bc627c0e2821cf3 100644
--- a/build.sbt
+++ b/build.sbt
@@ -38,3 +38,6 @@ logBuffered in Test := false
 testOptions in Test += Tests.Argument("-oD")
 
 sourcesInBase in Compile := false
+
+// do not skip parent Eclipse project definition
+EclipseKeys.skipParents in ThisBuild := false
diff --git a/project/plugins.sbt b/project/plugins.sbt
new file mode 100644
index 0000000000000000000000000000000000000000..c2371be43444b9e9b99a0ae3b34b9c69969956d9
--- /dev/null
+++ b/project/plugins.sbt
@@ -0,0 +1 @@
+addSbtPlugin("com.typesafe.sbteclipse" % "sbteclipse-plugin" % "2.1.0")