Spracherkennung für: .props vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
title = Isabelle/jEdit base plugin
module = $JEDIT_SETTINGS/jars/isabelle_jedit_base.jar
requirements = \
env:ISABELLE_SCALA_JAR \
env:JEDIT_JARS
resources = \
plugin.props \
services.xml
sources = \
plugin.scala
[Dauer der Verarbeitung: 0.21 Sekunden]
