Skip to content
Snippets Groups Projects
Select Git revision
  • main default
  • scala-2.13
  • github/fork/mario-bucev/more-instantiation
  • github/fork/SolalPirelli/sp/minimizer
  • scala-2.12.13
  • add-blocker-graph-debug
  • add-map-equal-value-keys
  • fix-stainless-1135
  • github/fork/jad-hamza/replaceFromSymbols-positions
  • refactor-parser
  • dotty-compat
  • v1.1.5
  • v1.1.0
  • v1.0.2
  • v1.0.1
  • v1.0
16 results
Blame Permalink
  • Lars Hupel's avatar
    f3db3bd3
    update to libisabelle 0.3 · f3db3bd3
    Lars Hupel authored 
    Notable changes:
* sbt-libisabelle plugin which takes care of Isabelle source management
  - no more submodules; Isabelle sources are now packaged in JAR files
  - no weird ROOTS file in the repository root
* less isabelle: flags, everybody would want to use the defaults anyway
* updating to Isabelle2016 becomes possible (future work)
    f3db3bd3
    History
    update to libisabelle 0.3
    Lars Hupel authored 
    Notable changes:
* sbt-libisabelle plugin which takes care of Isabelle source management
  - no more submodules; Isabelle sources are now packaged in JAR files
  - no weird ROOTS file in the repository root
* less isabelle: flags, everybody would want to use the defaults anyway
* updating to Isabelle2016 becomes possible (future work)
plugins.sbt 112 B 
addSbtPlugin("com.typesafe.sbt" % "sbt-site" % "0.8.1")

addSbtPlugin("info.hupel" % "sbt-libisabelle" % "0.1")