| changeset 36760 | b82a698ef6c9 |
| parent 36015 | 6111de7c916a |
| child 37175 | be764a7adb10 |
| 36759:dc972354d77c | 36760:b82a698ef6c9 |
|---|---|
1 /* |
1 /* Title: Tools/jEdit/src/jedit/scala_console.scala |
2 * Scala instance of Console plugin |
2 Author: Makarius |
3 * |
3 |
4 * @author Makarius |
4 Scala instance of Console plugin. |
5 */ |
5 */ |
6 |
6 |
7 package isabelle.jedit |
7 package isabelle.jedit |
8 |
8 |
9 |
9 |
10 import isabelle._ |
10 import isabelle._ |