Updated project name to avoid clashing with Isabelle-Pure Scala sources
Updated project name to avoid clashing with Isabelle-Pure Scala sources

andriusvelykis/isabelle-eclipse,andriusvelykis/isabelle-eclipse,andriusvelykis/isabelle-eclipse