• Home
• info.hupel
• pide-2017_2.12
• 1.0.0-RC3
• source code
• distribution.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

System.distribution.scala Maven / Gradle / Ivy

/*  Title:      Pure/System/distribution.scala
    Author:     Makarius

The Isabelle system distribution -- filled-in by makedist.
*/

package isabelle


object Distribution
{
  val version = "Isabelle2017: October 2017"
  val is_identified = true
  val is_official = true
}