GitHub repository: larsrh/sbt-libisabelle
Primary language: Scala
Created: 2016-02-28T17:45:55Z
Description: sbt helper for libisabelle