equal
deleted
inserted
replaced
1 package isac.gui.mawen.editor |
1 package isac.gui.mawen.editor |
2 |
2 |
3 import isac.gui.mawen.editor.Box.DrawBox |
3 import isac.gui.mawen.editor.Box.DrawBox |
4 import isac.gui.mawen.syntax.Ast._ |
4 import isac.gui.mawen.syntax.Ast._ |
5 import isac.interfaces.IEditor |
5 import isac.interfaces.IEditor |
6 import info.hupel.isabelle.api.Implementation |
6 import edu.tum.cs.isabelle.api.Implementation |
7 |
7 |
8 import javax.swing._ |
8 import javax.swing._ |
9 import java.awt._ |
9 import java.awt._ |
10 import java.awt.geom._ |
10 import java.awt.geom._ |
11 import java.awt.font._ |
11 import java.awt.font._ |