| products/Sources/formale Sprachen/Isabelle/HOL/SPARK/etc/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: settings Sprache: Unknown
|
# -*- shell-script -*- :mode=shellscript:
isabelle_scala_service 'isabelle.spark.SPARK$Load_Command1' isabelle_scala_service 'isabelle.spark.SPARK$Load_Command2' [ Dauer der Verarbeitung: 0.12 Sekunden (vorverarbeitet) ] |