changeset 27985 | fb774d10ea4c |
parent 27966 | 825286a7a3a4 |
27984:b4dd58cff97c | 27985:fb774d10ea4c |
---|---|
3 Author: Makarius |
3 Author: Makarius |
4 |
4 |
5 Isabelle/jEdit plugin -- main setup. |
5 Isabelle/jEdit plugin -- main setup. |
6 */ |
6 */ |
7 |
7 |
8 package isabelle |
8 package isabelle.jedit |
9 |
9 |
10 import org.gjt.sp.jedit.EditPlugin |
10 import org.gjt.sp.jedit.EditPlugin |
11 import org.gjt.sp.util.Log |
11 import org.gjt.sp.util.Log |
12 |
12 |
13 import errorlist.DefaultErrorSource |
13 import errorlist.DefaultErrorSource |