author | wenzelm |
Sat, 17 Jul 2021 13:42:21 +0200 | |
changeset 74029 | 0701ff55780d |
parent 73994 | fbb30dac95a2 |
permissions | -rw-r--r-- |
title = Isabelle/jEdit main plugin module = $JEDIT_SETTINGS/jars/isabelle_jedit_main.jar requirements = \ env:ISABELLE_SCALA_JAR \ env:JEDIT_JARS resources = \ actions.xml \ dockables.xml \ plugin.props \ services.xml sources = \ isabelle_sidekick.scala \ dockables.scala \ plugin.scala \ scala_console.scala \ services.scala