changeset 5239 | b4e3883d7b66 |
parent 5229 | 6bf0e95981e3 |
1.1 --- a/isac-java/src/java/isac/gui/mawen/editor/AstComponent.scala Tue Sep 22 14:33:32 2020 +0200 1.2 +++ b/isac-java/src/java/isac/gui/mawen/editor/AstComponent.scala Fri Mar 26 10:45:05 2021 +0100 1.3 @@ -3,7 +3,7 @@ 1.4 import isac.gui.mawen.editor.Box.DrawBox 1.5 import isac.gui.mawen.syntax.Ast._ 1.6 import isac.interfaces.IEditor 1.7 -import info.hupel.isabelle.api.Implementation 1.8 +import edu.tum.cs.isabelle.api.Implementation 1.9 1.10 import javax.swing._ 1.11 import java.awt._