changed to graph-core for Scala 2.10
upped versions in all plugins to 1.1 (Scala update, Graph update, Isabelle2013, etc)
updated graph-core dependency
upped Scala dependency to 2.10
isabelle.pure 2013 dependency
upped isabelle.eclipse dependencies
matched graph-core versions
Merge branch 'dependencies' into isabelle2013
normalised names for feature and repository modules to *.feature and *.repository
ensure Java 1.6 for lib/ project modules
Scala 2.10 asks for explicit enable of language feature: higher kinds
avoid Scala warning about postfix operation
avoid typecast - Scala 2.10 supports this kind of dependent types
workaround for a regression bug in Scala-Graph where nodeset manipulation loses edge information
Merge branch 'graph-updates' into isabelle2013
adapted to API changes in Isabelle/Eclipse
updated to match Isabelle/Scala 2013 API
updated Isabelle_Markup references to Markup (Isabelle/Scala 2013)
updated Token.is_ignored to .is_proper (Isabelle/Scala 2013)
updated access of Command.State results (Isabelle/Scala 2013)