• Home
• info.hupel
• pide-2016-1-RC1_2.10
• 0.6.1
• 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 = "Isabelle2016-1-RC0: October 2016"
  val is_identified = true
  val is_official = false
}