src/HOL/SPARK/Tools/spark.scala

compile HOL-TPTP

/*  Title:      HOL/SPARK/Tools/spark.scala
    Author:     Makarius

Scala support for HOL-SPARK.
*/

package isabelle.spark

import isabelle._


object SPARK
{
  class Load_Command1 extends Command_Span.Load_Command("spark_vcg", Scala_Project.here)
  {
    override val extensions: List[String] = List("vcg", "fdl", "rls")
  }

  class Load_Command2 extends Command_Span.Load_Command("spark_siv", Scala_Project.here)
  {
    override val extensions: List[String] = List("siv", "fdl", "rls")
  }
}