| author | Walther Neuper <walther.neuper@jku.at> |
| Fri, 12 Mar 2021 15:22:39 +0100 | |
| changeset 60173 | c2cc411ddc5f |
| permissions | -rw-r--r-- |
| walther@60173 | 1 |
/* Title: src/Tools/isac/BridgeJEdit/isac.scala <-- HOL/SPARK/Tools/spark.scala |
| walther@60173 | 2 |
Author: Makarius |
| walther@60173 | 3 |
|
| walther@60173 | 4 |
Scala support for Isac. |
| walther@60173 | 5 |
*/ |
| walther@60173 | 6 |
|
| walther@60173 | 7 |
package isabelle.isac |
| walther@60173 | 8 |
|
| walther@60173 | 9 |
import isabelle._ |
| walther@60173 | 10 |
|
| walther@60173 | 11 |
|
| walther@60173 | 12 |
object ISAC |
| walther@60173 | 13 |
{
|
| walther@60173 | 14 |
class Load_Command1 extends Command_Span.Load_Command("isac_example")
|
| walther@60173 | 15 |
{
|
| walther@60173 | 16 |
override val extensions: List[String] = List("str")
|
| walther@60173 | 17 |
} |
| walther@60173 | 18 |
} |