Skip to content

P
ProofScriptParser
Commit fba5dd8e authored by Sarah Grebing's avatar Sarah Grebing
Browse files
Options

added the service file of key in case it vanishes again

parent 518466c2
Pipeline #17455 canceled with stages
          Hide whitespace changes
          Inline Side-by-side
          Showing with 20 additions and 0 deletions
          ui/src/main/resources/META-INF/services/de.uka.ilkd.key.macros.scripts.ProofScriptCommand
          View file @ fba5dd8e
          ......@@ -2,4 +2,24 @@
          # Script commands to be used in proof scripts
          #
          de.uka.ilkd.key.macros.scripts.MacroCommand
          de.uka.ilkd.key.macros.scripts.FocusOnSelectionAndHideCommand
          de.uka.ilkd.key.macros.scripts.AutoCommand
          de.uka.ilkd.key.macros.scripts.CutCommand
          de.uka.ilkd.key.macros.scripts.SetCommand
          de.uka.ilkd.key.macros.scripts.SMTCommand
          de.uka.ilkd.key.macros.scripts.RuleCommand
          de.uka.ilkd.key.macros.scripts.LeaveCommand
          de.uka.ilkd.key.macros.scripts.TryCloseCommand
          de.uka.ilkd.key.macros.scripts.ExitCommand
          de.uka.ilkd.key.macros.scripts.InstantiateCommand
          de.uka.ilkd.key.macros.scripts.SelectCommand
          de.uka.ilkd.key.macros.scripts.ScriptCommand
          de.uka.ilkd.key.macros.scripts.LetCommand
          de.uka.ilkd.key.macros.scripts.SchemaVarCommand
          de.uka.ilkd.key.macros.scripts.JavascriptCommand
          de.uka.ilkd.key.macros.scripts.SkipCommand
          de.uka.ilkd.key.macros.scripts.AssumeCommand
          de.uka.ilkd.key.macros.scripts.SettingsCommand
          #de.uka.ilkd.key.macros.scripts.FinishSymbolicExecutionMacro
          \ No newline at end of file
          Markdown is supported
          0% or
          You are about to add 0 people to the discussion. Proceed with caution.
          Finish editing this message first!
          Please register or to comment