From 78a12e0e5b7a98c322af366f8b48c0314279499d Mon Sep 17 00:00:00 2001 From: Michael Herzberg Date: Sun, 11 Sep 2016 12:25:36 +0100 Subject: [PATCH] Added update sites to README. --- README.md | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index f361b2c..8b930fa 100644 --- a/README.md +++ b/README.md @@ -5,10 +5,13 @@ * Java 6 (core libraries for the WALA analysis) * Android SDK (to obtain dx.jar) * Eclipse Neon, including - * Scala IDE - * Scala Maven Plugin (http://scala-ide.org/docs/tutorials/m2eclipse/) - * m2e plugin - * Scalatest Runner (optional) + * From http://download.scala-ide.org/sdk/lithium/e44/scala211/stable/site + * Scala IDE + * Scalatest Runner (optional) + * From http://alchim31.free.fr/m2e-scala/update-site + * "Maven for Scala" - Maven Integration for Eclipse + * From http://download.eclipse.org/releases/neon + * m2e - Maven Integration for Eclipse * CVC3 including the Java bindings for CVC3 * apktool