--- a/src/Tools/jEdit/src/session_dockable.scala Mon Jul 04 20:18:19 2011 +0200
+++ b/src/Tools/jEdit/src/session_dockable.scala Mon Jul 04 22:11:32 2011 +0200
@@ -24,8 +24,8 @@
{
/* main tabs */
- private val readme = new HTML_Panel(Isabelle.system, "SansSerif", 14)
- readme.render_document(Isabelle.system.try_read(List(Path.explode("$JEDIT_HOME/README.html"))))
+ private val readme = new HTML_Panel("SansSerif", 14)
+ readme.render_document(Isabelle_System.try_read(List(Path.explode("$JEDIT_HOME/README.html"))))
private val syslog = new TextArea(Isabelle.session.syslog())
syslog.editable = false