• Home
• info.hupel
• pide-2015_2.11
• 0.3.4
• source code

×

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.

de-2015_2.11.0.3.4.source-code.ROOT.scala Maven / Gradle / Ivy

/*  Title:      Pure/ROOT.scala
    Module:     PIDE
    Author:     Makarius

Root of isabelle package.
*/

package object isabelle extends isabelle.Basic_Library
{
  object Distribution     /*filled-in by makedist*/
  {
    val version = "Isabelle2015: May 2015"
    val is_identified = true
    val is_official = true
  }
}