• Home
• info.hupel
• pide-2014_2.10
• 0.2.3
• 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-2014_2.10.0.2.3.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 = "Isabelle2014: August 2014"
    val is_identified = true
    val is_official = true
  }
}