From 061c43b586f32b910db1a955c9319a283ca56762 Mon Sep 17 00:00:00 2001 From: BookWood Date: Thu, 19 Sep 2024 13:26:53 +0200 Subject: [PATCH] rename package --- .../isabelletranslation/BSumHandler.java | 2 +- .../isabelletranslation/BooleanOpHandler.java | 2 +- .../DefinedSymbolsHandler.java | 2 +- .../isabelletranslation/FieldHandler.java | 2 +- .../IllegalFormulaException.java | 2 +- .../InfiniteUnionHandler.java | 2 +- .../InstanceOperatorHandler.java | 2 +- .../isabelletranslation/IntegerOpHandler.java | 2 +- .../isabelletranslation/IsabelleHandler.java | 2 +- .../IsabelleHandlerServices.java | 2 +- .../isabelletranslation/IsabelleLauncher.java | 5 +--- .../IsabelleLauncherListener.java | 2 +- ...sabelleLauncherProgressDialogMediator.java | 8 +++---- .../IsabelleMasterHandler.java | 2 +- .../isabelletranslation/IsabelleProblem.java | 23 +------------------ .../IsabelleResourceController.java | 2 +- .../IsabelleSettingsProvider.java | 2 +- .../isabelletranslation/IsabelleSolver.java | 4 +--- .../IsabelleSolverInstance.java | 4 ++-- .../IsabelleSolverListener.java | 2 +- .../IsabelleTranslationExtension.java | 2 +- .../IsabelleTranslationSettings.java | 2 +- .../IsabelleTranslator.java | 2 +- .../LogicalVariableHandler.java | 2 +- .../NumberConstantsHandler.java | 2 +- .../ObserverFunctionHandler.java | 2 +- .../PolymorphicHandler.java | 2 +- .../QuantifierHandler.java | 2 +- .../isabelletranslation/SeqDefHandler.java | 2 +- .../SledgehammerResult.java | 2 +- .../SortDependingFunctionHandler.java | 2 +- .../TranslateAllAction.java | 2 +- .../TranslationAction.java | 2 +- .../UninterpretedSymbolsHandler.java | 2 +- .../gui/IsabelleProgressDialog.java | 4 ++-- .../gui/IsabelleProgressModel.java | 2 +- ...ilkd.key.gui.extension.api.KeYGuiExtension | 2 +- .../isabelletranslation/defaultHandlers.txt | 15 ------------ .../IntegerOpHandler.preamble.xml | 0 .../key_project}/isabelletranslation/ROOT | 0 .../UninterpretedSymbolsHandler.preamble.xml | 0 .../isabelletranslation/defaultHandlers.txt | 15 ++++++++++++ .../key_project}/isabelletranslation/root.tex | 0 43 files changed, 57 insertions(+), 83 deletions(-) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/BSumHandler.java (97%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/BooleanOpHandler.java (97%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/DefinedSymbolsHandler.java (98%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/FieldHandler.java (97%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/IllegalFormulaException.java (89%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/InfiniteUnionHandler.java (96%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/InstanceOperatorHandler.java (98%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/IntegerOpHandler.java (98%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/IsabelleHandler.java (99%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/IsabelleHandlerServices.java (99%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/IsabelleLauncher.java (96%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/IsabelleLauncherListener.java (89%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/IsabelleLauncherProgressDialogMediator.java (97%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/IsabelleMasterHandler.java (99%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/IsabelleProblem.java (57%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/IsabelleResourceController.java (99%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/IsabelleSettingsProvider.java (98%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/IsabelleSolver.java (94%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/IsabelleSolverInstance.java (99%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/IsabelleSolverListener.java (96%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/IsabelleTranslationExtension.java (97%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/IsabelleTranslationSettings.java (99%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/IsabelleTranslator.java (99%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/LogicalVariableHandler.java (96%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/NumberConstantsHandler.java (97%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/ObserverFunctionHandler.java (97%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/PolymorphicHandler.java (97%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/QuantifierHandler.java (97%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/SeqDefHandler.java (96%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/SledgehammerResult.java (93%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/SortDependingFunctionHandler.java (97%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/TranslateAllAction.java (98%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/TranslationAction.java (98%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/UninterpretedSymbolsHandler.java (98%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/gui/IsabelleProgressDialog.java (98%) rename keyext.isabelletranslation/src/main/java/{key => org/key_project}/isabelletranslation/gui/IsabelleProgressModel.java (99%) delete mode 100644 keyext.isabelletranslation/src/main/resources/key/isabelletranslation/defaultHandlers.txt rename keyext.isabelletranslation/src/main/resources/{key => org/key_project}/isabelletranslation/IntegerOpHandler.preamble.xml (100%) rename keyext.isabelletranslation/src/main/resources/{key => org/key_project}/isabelletranslation/ROOT (100%) rename keyext.isabelletranslation/src/main/resources/{key => org/key_project}/isabelletranslation/UninterpretedSymbolsHandler.preamble.xml (100%) create mode 100644 keyext.isabelletranslation/src/main/resources/org/key_project/isabelletranslation/defaultHandlers.txt rename keyext.isabelletranslation/src/main/resources/{key => org/key_project}/isabelletranslation/root.tex (100%) diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/BSumHandler.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/BSumHandler.java similarity index 97% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/BSumHandler.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/BSumHandler.java index 578fe38cfb2..0508d1a249a 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/BSumHandler.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/BSumHandler.java @@ -1,4 +1,4 @@ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import de.uka.ilkd.key.java.Services; import de.uka.ilkd.key.ldt.IntegerLDT; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/BooleanOpHandler.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/BooleanOpHandler.java similarity index 97% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/BooleanOpHandler.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/BooleanOpHandler.java index a4ea3331f7a..69453d4a5ee 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/BooleanOpHandler.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/BooleanOpHandler.java @@ -1,4 +1,4 @@ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import de.uka.ilkd.key.java.Services; import de.uka.ilkd.key.ldt.BooleanLDT; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/DefinedSymbolsHandler.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/DefinedSymbolsHandler.java similarity index 98% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/DefinedSymbolsHandler.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/DefinedSymbolsHandler.java index 22567e239a1..4ba998d25fe 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/DefinedSymbolsHandler.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/DefinedSymbolsHandler.java @@ -1,4 +1,4 @@ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import de.uka.ilkd.key.java.Services; import de.uka.ilkd.key.logic.Namespace; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/FieldHandler.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/FieldHandler.java similarity index 97% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/FieldHandler.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/FieldHandler.java index ab34548ed11..1a32309efd5 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/FieldHandler.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/FieldHandler.java @@ -1,4 +1,4 @@ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import de.uka.ilkd.key.java.Services; import org.key_project.logic.Name; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IllegalFormulaException.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IllegalFormulaException.java similarity index 89% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/IllegalFormulaException.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IllegalFormulaException.java index 66d4634128c..3d79f10eb6d 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IllegalFormulaException.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IllegalFormulaException.java @@ -1,7 +1,7 @@ /* This file is part of KeY - https://key-project.org * KeY is licensed under the GNU General Public License Version 2 * SPDX-License-Identifier: GPL-2.0-only */ -package key.isabelletranslation; +package org.key_project.isabelletranslation; public class IllegalFormulaException extends Exception { /** diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/InfiniteUnionHandler.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/InfiniteUnionHandler.java similarity index 96% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/InfiniteUnionHandler.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/InfiniteUnionHandler.java index 75014889cd6..8952470e078 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/InfiniteUnionHandler.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/InfiniteUnionHandler.java @@ -1,4 +1,4 @@ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import de.uka.ilkd.key.java.Services; import org.key_project.logic.Term; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/InstanceOperatorHandler.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/InstanceOperatorHandler.java similarity index 98% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/InstanceOperatorHandler.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/InstanceOperatorHandler.java index 8807e3d6873..626b138f936 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/InstanceOperatorHandler.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/InstanceOperatorHandler.java @@ -1,4 +1,4 @@ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import de.uka.ilkd.key.java.Services; import de.uka.ilkd.key.logic.Namespace; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IntegerOpHandler.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IntegerOpHandler.java similarity index 98% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/IntegerOpHandler.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IntegerOpHandler.java index 232178fb443..c7b511b489f 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IntegerOpHandler.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IntegerOpHandler.java @@ -1,7 +1,7 @@ /* This file is part of KeY - https://key-project.org * KeY is licensed under the GNU General Public License Version 2 * SPDX-License-Identifier: GPL-2.0-only */ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import de.uka.ilkd.key.java.Services; import de.uka.ilkd.key.ldt.IntegerLDT; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleHandler.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleHandler.java similarity index 99% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleHandler.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleHandler.java index 15b61f2cdc2..b3e041abea5 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleHandler.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleHandler.java @@ -1,7 +1,7 @@ /* This file is part of KeY - https://key-project.org * KeY is licensed under the GNU General Public License Version 2 * SPDX-License-Identifier: GPL-2.0-only */ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import de.uka.ilkd.key.java.Services; import org.key_project.logic.Term; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleHandlerServices.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleHandlerServices.java similarity index 99% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleHandlerServices.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleHandlerServices.java index 96e82d723c3..14d6ee2b405 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleHandlerServices.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleHandlerServices.java @@ -1,7 +1,7 @@ /* This file is part of KeY - https://key-project.org * KeY is licensed under the GNU General Public License Version 2 * SPDX-License-Identifier: GPL-2.0-only */ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import de.uka.ilkd.key.java.Services; import org.jspecify.annotations.NonNull; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleLauncher.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleLauncher.java similarity index 96% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleLauncher.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleLauncher.java index 258e1793ca7..227fb5a6365 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleLauncher.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleLauncher.java @@ -1,9 +1,6 @@ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import org.jetbrains.annotations.NotNull; -import org.key_project.util.collection.Pair; -import de.unruh.isabelle.control.Isabelle; -import de.unruh.isabelle.pure.Theory; import org.jspecify.annotations.NonNull; import org.slf4j.Logger; import org.slf4j.LoggerFactory; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleLauncherListener.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleLauncherListener.java similarity index 89% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleLauncherListener.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleLauncherListener.java index 3e6b6dd181e..a546cfb3e6c 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleLauncherListener.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleLauncherListener.java @@ -1,4 +1,4 @@ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import java.util.Collection; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleLauncherProgressDialogMediator.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleLauncherProgressDialogMediator.java similarity index 97% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleLauncherProgressDialogMediator.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleLauncherProgressDialogMediator.java index a713cc62408..1ab26b6202e 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleLauncherProgressDialogMediator.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleLauncherProgressDialogMediator.java @@ -1,10 +1,10 @@ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import de.uka.ilkd.key.core.KeYMediator; import de.uka.ilkd.key.gui.MainWindow; import de.uka.ilkd.key.gui.colors.ColorSettings; -import key.isabelletranslation.gui.IsabelleProgressDialog; -import key.isabelletranslation.gui.IsabelleProgressModel; +import org.key_project.isabelletranslation.gui.IsabelleProgressDialog; +import org.key_project.isabelletranslation.gui.IsabelleProgressModel; import javax.swing.*; import java.awt.*; @@ -64,7 +64,7 @@ private void applyResults() { //TODO create own close action } finally { mediator.startInterface(true); - // switch to new open goal + //switch to new open goal mediator.getSelectionModel().defaultSelection(); } } diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleMasterHandler.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleMasterHandler.java similarity index 99% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleMasterHandler.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleMasterHandler.java index 2e413edf415..d2000551d5e 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleMasterHandler.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleMasterHandler.java @@ -1,4 +1,4 @@ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import de.uka.ilkd.key.java.Services; import de.uka.ilkd.key.ldt.JavaDLTheory; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleProblem.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleProblem.java similarity index 57% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleProblem.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleProblem.java index 766483d8da5..212d032a6e6 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleProblem.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleProblem.java @@ -1,27 +1,6 @@ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import de.uka.ilkd.key.proof.Goal; -import de.unruh.isabelle.control.Isabelle; -import de.unruh.isabelle.java.JIsabelle; -import de.unruh.isabelle.mlvalue.*; -import de.unruh.isabelle.pure.Implicits; -import de.unruh.isabelle.pure.*; -import org.slf4j.Logger; -import org.slf4j.LoggerFactory; -import scala.Option; -import scala.Tuple2; -import scala.collection.immutable.List; -import scala.collection.mutable.Builder; -import scala.concurrent.Await; -import scala.concurrent.Future; -import scala.concurrent.duration.Duration; - -import java.nio.file.Path; -import java.util.ArrayList; -import java.util.Collection; -import java.util.HashSet; -import java.util.concurrent.TimeUnit; -import java.util.concurrent.TimeoutException; public class IsabelleProblem { private final Goal goal; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleResourceController.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleResourceController.java similarity index 99% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleResourceController.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleResourceController.java index 0e02fe9d11b..7a34f4cfc73 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleResourceController.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleResourceController.java @@ -1,4 +1,4 @@ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import de.unruh.isabelle.control.Isabelle; import de.unruh.isabelle.control.IsabelleMLException; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleSettingsProvider.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleSettingsProvider.java similarity index 98% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleSettingsProvider.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleSettingsProvider.java index 8695fd7cba4..9a833beb291 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleSettingsProvider.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleSettingsProvider.java @@ -1,4 +1,4 @@ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import de.uka.ilkd.key.gui.MainWindow; import de.uka.ilkd.key.gui.settings.InvalidSettingsInputException; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleSolver.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleSolver.java similarity index 94% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleSolver.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleSolver.java index dde8013643f..b85c96f073d 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleSolver.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleSolver.java @@ -1,6 +1,4 @@ -package key.isabelletranslation; - -import de.unruh.isabelle.control.Isabelle; +package org.key_project.isabelletranslation; import java.util.TimerTask; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleSolverInstance.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleSolverInstance.java similarity index 99% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleSolverInstance.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleSolverInstance.java index a2bb99003c3..24f54366705 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleSolverInstance.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleSolverInstance.java @@ -1,4 +1,4 @@ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import de.unruh.isabelle.control.Isabelle; import de.unruh.isabelle.control.IsabelleMLException; @@ -172,7 +172,7 @@ public SolverState getState() { @Override public boolean wasInterrupted() { - return Thread.currentThread().isInterrupted(); + return reasonOfInterruption != ReasonOfInterruption.NoInterruption; } @Override diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleSolverListener.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleSolverListener.java similarity index 96% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleSolverListener.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleSolverListener.java index 9c47f92d66f..2c4de318195 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleSolverListener.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleSolverListener.java @@ -1,4 +1,4 @@ -package key.isabelletranslation; +package org.key_project.isabelletranslation; public interface IsabelleSolverListener extends IsabelleLauncherListener { void parsingStarted(IsabelleSolver solver, IsabelleProblem problem); diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleTranslationExtension.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleTranslationExtension.java similarity index 97% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleTranslationExtension.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleTranslationExtension.java index f04d158db32..cdf37c0ee67 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleTranslationExtension.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleTranslationExtension.java @@ -1,4 +1,4 @@ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import de.uka.ilkd.key.core.KeYMediator; import de.uka.ilkd.key.gui.MainWindow; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleTranslationSettings.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleTranslationSettings.java similarity index 99% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleTranslationSettings.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleTranslationSettings.java index ee3195c7723..95eaa483ee9 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleTranslationSettings.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleTranslationSettings.java @@ -1,7 +1,7 @@ /* This file is part of KeY - https://key-project.org * KeY is licensed under the GNU General Public License Version 2 * SPDX-License-Identifier: GPL-2.0-only */ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import de.uka.ilkd.key.settings.AbstractSettings; import de.uka.ilkd.key.settings.Configuration; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleTranslator.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleTranslator.java similarity index 99% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleTranslator.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleTranslator.java index 86c91d65ac8..f4838457454 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/IsabelleTranslator.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/IsabelleTranslator.java @@ -1,4 +1,4 @@ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import de.uka.ilkd.key.java.Services; import de.uka.ilkd.key.ldt.JavaDLTheory; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/LogicalVariableHandler.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/LogicalVariableHandler.java similarity index 96% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/LogicalVariableHandler.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/LogicalVariableHandler.java index d2d08d4de09..e1f6b3f6336 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/LogicalVariableHandler.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/LogicalVariableHandler.java @@ -1,4 +1,4 @@ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import de.uka.ilkd.key.java.Services; import org.key_project.logic.Term; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/NumberConstantsHandler.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/NumberConstantsHandler.java similarity index 97% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/NumberConstantsHandler.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/NumberConstantsHandler.java index 5e89829c92a..a9cda9c6a79 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/NumberConstantsHandler.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/NumberConstantsHandler.java @@ -1,7 +1,7 @@ /* This file is part of KeY - https://key-project.org * KeY is licensed under the GNU General Public License Version 2 * SPDX-License-Identifier: GPL-2.0-only */ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import de.uka.ilkd.key.java.Services; import org.key_project.logic.Term; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/ObserverFunctionHandler.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/ObserverFunctionHandler.java similarity index 97% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/ObserverFunctionHandler.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/ObserverFunctionHandler.java index 1c8c0b6d364..9bc3d50ee35 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/ObserverFunctionHandler.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/ObserverFunctionHandler.java @@ -1,4 +1,4 @@ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import de.uka.ilkd.key.java.Services; import org.key_project.logic.Term; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/PolymorphicHandler.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/PolymorphicHandler.java similarity index 97% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/PolymorphicHandler.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/PolymorphicHandler.java index 5bfbe6aef96..0b272cadf9e 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/PolymorphicHandler.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/PolymorphicHandler.java @@ -1,7 +1,7 @@ /* This file is part of KeY - https://key-project.org * KeY is licensed under the GNU General Public License Version 2 * SPDX-License-Identifier: GPL-2.0-only */ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import de.uka.ilkd.key.java.Services; import org.key_project.logic.Term; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/QuantifierHandler.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/QuantifierHandler.java similarity index 97% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/QuantifierHandler.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/QuantifierHandler.java index b453cbb7755..849a53d34d2 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/QuantifierHandler.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/QuantifierHandler.java @@ -1,4 +1,4 @@ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import de.uka.ilkd.key.java.Services; import org.key_project.logic.Term; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/SeqDefHandler.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/SeqDefHandler.java similarity index 96% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/SeqDefHandler.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/SeqDefHandler.java index 45ea78b999b..14e161e7959 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/SeqDefHandler.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/SeqDefHandler.java @@ -1,4 +1,4 @@ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import de.uka.ilkd.key.java.Services; import org.key_project.logic.Term; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/SledgehammerResult.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/SledgehammerResult.java similarity index 93% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/SledgehammerResult.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/SledgehammerResult.java index e360feec85a..5bf5a7bdccc 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/SledgehammerResult.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/SledgehammerResult.java @@ -1,4 +1,4 @@ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import scala.Option; import scala.Tuple2; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/SortDependingFunctionHandler.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/SortDependingFunctionHandler.java similarity index 97% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/SortDependingFunctionHandler.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/SortDependingFunctionHandler.java index 0a65a0ea84e..74f725cc29d 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/SortDependingFunctionHandler.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/SortDependingFunctionHandler.java @@ -1,4 +1,4 @@ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import de.uka.ilkd.key.java.Services; import org.key_project.logic.Term; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/TranslateAllAction.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/TranslateAllAction.java similarity index 98% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/TranslateAllAction.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/TranslateAllAction.java index c8a300c0f8e..4ba3430958d 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/TranslateAllAction.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/TranslateAllAction.java @@ -1,4 +1,4 @@ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import de.uka.ilkd.key.core.KeYMediator; import de.uka.ilkd.key.gui.MainWindow; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/TranslationAction.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/TranslationAction.java similarity index 98% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/TranslationAction.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/TranslationAction.java index 92330b2da3d..0c667ebe43c 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/TranslationAction.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/TranslationAction.java @@ -1,4 +1,4 @@ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import de.uka.ilkd.key.core.KeYMediator; import de.uka.ilkd.key.gui.MainWindow; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/UninterpretedSymbolsHandler.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/UninterpretedSymbolsHandler.java similarity index 98% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/UninterpretedSymbolsHandler.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/UninterpretedSymbolsHandler.java index d285750d058..6319b52a524 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/UninterpretedSymbolsHandler.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/UninterpretedSymbolsHandler.java @@ -1,7 +1,7 @@ /* This file is part of KeY - https://key-project.org * KeY is licensed under the GNU General Public License Version 2 * SPDX-License-Identifier: GPL-2.0-only */ -package key.isabelletranslation; +package org.key_project.isabelletranslation; import de.uka.ilkd.key.java.Services; import de.uka.ilkd.key.ldt.HeapLDT; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/gui/IsabelleProgressDialog.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/gui/IsabelleProgressDialog.java similarity index 98% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/gui/IsabelleProgressDialog.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/gui/IsabelleProgressDialog.java index 2439eae1d31..253b2352df3 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/gui/IsabelleProgressDialog.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/gui/IsabelleProgressDialog.java @@ -1,14 +1,14 @@ /* This file is part of KeY - https://key-project.org * KeY is licensed under the GNU General Public License Version 2 * SPDX-License-Identifier: GPL-2.0-only */ -package key.isabelletranslation.gui; +package org.key_project.isabelletranslation.gui; import de.uka.ilkd.key.gui.IssueDialog; import de.uka.ilkd.key.gui.MainWindow; import org.key_project.util.java.SwingUtil; import org.slf4j.Logger; import org.slf4j.LoggerFactory; -import key.isabelletranslation.gui.IsabelleProgressModel.ProcessColumn.ProcessData; +import org.key_project.isabelletranslation.gui.IsabelleProgressModel.ProcessColumn.ProcessData; import javax.swing.*; import javax.swing.event.TableModelEvent; diff --git a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/gui/IsabelleProgressModel.java b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/gui/IsabelleProgressModel.java similarity index 99% rename from keyext.isabelletranslation/src/main/java/key/isabelletranslation/gui/IsabelleProgressModel.java rename to keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/gui/IsabelleProgressModel.java index 586e7c32808..fc08390b071 100644 --- a/keyext.isabelletranslation/src/main/java/key/isabelletranslation/gui/IsabelleProgressModel.java +++ b/keyext.isabelletranslation/src/main/java/org/key_project/isabelletranslation/gui/IsabelleProgressModel.java @@ -1,7 +1,7 @@ /* This file is part of KeY - https://key-project.org * KeY is licensed under the GNU General Public License Version 2 * SPDX-License-Identifier: GPL-2.0-only */ -package key.isabelletranslation.gui; +package org.key_project.isabelletranslation.gui; import java.awt.Color; import java.util.ArrayList; diff --git a/keyext.isabelletranslation/src/main/resources/META-INF/services/de.uka.ilkd.key.gui.extension.api.KeYGuiExtension b/keyext.isabelletranslation/src/main/resources/META-INF/services/de.uka.ilkd.key.gui.extension.api.KeYGuiExtension index c86d523a867..91385657445 100644 --- a/keyext.isabelletranslation/src/main/resources/META-INF/services/de.uka.ilkd.key.gui.extension.api.KeYGuiExtension +++ b/keyext.isabelletranslation/src/main/resources/META-INF/services/de.uka.ilkd.key.gui.extension.api.KeYGuiExtension @@ -1 +1 @@ -key.isabelletranslation.IsabelleTranslationExtension \ No newline at end of file +org.key_project.isabelletranslation.IsabelleTranslationExtension \ No newline at end of file diff --git a/keyext.isabelletranslation/src/main/resources/key/isabelletranslation/defaultHandlers.txt b/keyext.isabelletranslation/src/main/resources/key/isabelletranslation/defaultHandlers.txt deleted file mode 100644 index 5a67b6bcc06..00000000000 --- a/keyext.isabelletranslation/src/main/resources/key/isabelletranslation/defaultHandlers.txt +++ /dev/null @@ -1,15 +0,0 @@ -key.isabelletranslation.DefinedSymbolsHandler -key.isabelletranslation.InstanceOperatorHandler -key.isabelletranslation.BooleanOpHandler -key.isabelletranslation.PolymorphicHandler -key.isabelletranslation.QuantifierHandler -key.isabelletranslation.LogicalVariableHandler -key.isabelletranslation.NumberConstantsHandler -key.isabelletranslation.IntegerOpHandler -key.isabelletranslation.InfiniteUnionHandler -key.isabelletranslation.BSumHandler -key.isabelletranslation.SeqDefHandler -key.isabelletranslation.SortDependingFunctionHandler -key.isabelletranslation.FieldHandler -key.isabelletranslation.ObserverFunctionHandler -key.isabelletranslation.UninterpretedSymbolsHandler \ No newline at end of file diff --git a/keyext.isabelletranslation/src/main/resources/key/isabelletranslation/IntegerOpHandler.preamble.xml b/keyext.isabelletranslation/src/main/resources/org/key_project/isabelletranslation/IntegerOpHandler.preamble.xml similarity index 100% rename from keyext.isabelletranslation/src/main/resources/key/isabelletranslation/IntegerOpHandler.preamble.xml rename to keyext.isabelletranslation/src/main/resources/org/key_project/isabelletranslation/IntegerOpHandler.preamble.xml diff --git a/keyext.isabelletranslation/src/main/resources/key/isabelletranslation/ROOT b/keyext.isabelletranslation/src/main/resources/org/key_project/isabelletranslation/ROOT similarity index 100% rename from keyext.isabelletranslation/src/main/resources/key/isabelletranslation/ROOT rename to keyext.isabelletranslation/src/main/resources/org/key_project/isabelletranslation/ROOT diff --git a/keyext.isabelletranslation/src/main/resources/key/isabelletranslation/UninterpretedSymbolsHandler.preamble.xml b/keyext.isabelletranslation/src/main/resources/org/key_project/isabelletranslation/UninterpretedSymbolsHandler.preamble.xml similarity index 100% rename from keyext.isabelletranslation/src/main/resources/key/isabelletranslation/UninterpretedSymbolsHandler.preamble.xml rename to keyext.isabelletranslation/src/main/resources/org/key_project/isabelletranslation/UninterpretedSymbolsHandler.preamble.xml diff --git a/keyext.isabelletranslation/src/main/resources/org/key_project/isabelletranslation/defaultHandlers.txt b/keyext.isabelletranslation/src/main/resources/org/key_project/isabelletranslation/defaultHandlers.txt new file mode 100644 index 00000000000..190d34d901b --- /dev/null +++ b/keyext.isabelletranslation/src/main/resources/org/key_project/isabelletranslation/defaultHandlers.txt @@ -0,0 +1,15 @@ +org.key_project.isabelletranslation.DefinedSymbolsHandler +org.key_project.isabelletranslation.InstanceOperatorHandler +org.key_project.isabelletranslation.BooleanOpHandler +org.key_project.isabelletranslation.PolymorphicHandler +org.key_project.isabelletranslation.QuantifierHandler +org.key_project.isabelletranslation.LogicalVariableHandler +org.key_project.isabelletranslation.NumberConstantsHandler +org.key_project.isabelletranslation.IntegerOpHandler +org.key_project.isabelletranslation.InfiniteUnionHandler +org.key_project.isabelletranslation.BSumHandler +org.key_project.isabelletranslation.SeqDefHandler +org.key_project.isabelletranslation.SortDependingFunctionHandler +org.key_project.isabelletranslation.FieldHandler +org.key_project.isabelletranslation.ObserverFunctionHandler +org.key_project.isabelletranslation.UninterpretedSymbolsHandler \ No newline at end of file diff --git a/keyext.isabelletranslation/src/main/resources/key/isabelletranslation/root.tex b/keyext.isabelletranslation/src/main/resources/org/key_project/isabelletranslation/root.tex similarity index 100% rename from keyext.isabelletranslation/src/main/resources/key/isabelletranslation/root.tex rename to keyext.isabelletranslation/src/main/resources/org/key_project/isabelletranslation/root.tex