Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/Isabelle/Tools/jEdit/jedit_main/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 16.11.2025 mit Größe 348 B image not shown  

Quelle  build.props   Sprache: unbekannt

 
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

[ Dauer der Verarbeitung: 0.15 Sekunden  (vorverarbeitet)  ]