Repositories list

• symphonytool.github.io

  Public
  The Symphony IDE Website

  CSS

  •0•0•0•0•Updated Feb 25, 2015Feb 25, 2015

• symphony

  Public
  The Symphony IDE

  Java

  •4•5•7•0•Updated Jan 5, 2015Jan 5, 2015

• cml-syntax

  Public
  2•0•3•0•Updated Jul 16, 2014Jul 16, 2014

• isabelle-eclipse

  Public
  Eclipse integration for Isabelle proof assistant.

  Python

  •

  Eclipse Public License 1.0

  •4•0•0•0•Updated Jun 3, 2014Jun 3, 2014

• isabelle-scala

  Public
  A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclipse projects to work with Scala IDE for Eclipse.

  Scala

  •

  Other

  •2•0•0•0•Updated Jun 3, 2014Jun 3, 2014