Updated Antlr4IDE to 0.3.
Updated PyDev to 3.4.1.
Updated Vrapper to 0.42.
Updated Scala IDE to 3.0.4 (for Scala 2.11).
Updated to Scala 2.11.
Addressed usage for deprecated future {}.
Updated to 0.3.3.
Added eclipse-fonts plugin in SireumDev.
switched ResourceProperty to extend PropertyProviderContext
Fixed CLI Builder.
Regenerated.
Added internal server and symbologics launchers.
Updated to Scala 2.11.1, Scala IDE for 2.11.1, and Subclipse 1.10.5.
Added helper methods in PilarAstUtil.
Added Pilar expression simplifier.
Fixed rewriter direction on simple inequality.
Added another simplication rule.
Added precedence rewriter for expression.
Generalize precendence exp rewriter to accept any AST node.
Commented debug tag println to std out.