--- a/src/Tools/jEdit/src/session_dockable.scala Thu Jun 30 14:51:32 2011 +0200
+++ b/src/Tools/jEdit/src/session_dockable.scala Thu Jun 30 14:55:01 2011 +0200
@@ -25,7 +25,7 @@
/* main tabs */
private val readme = new HTML_Panel(Isabelle.system, "SansSerif", 14)
- readme.render_document(Isabelle.system.try_read(List("$JEDIT_HOME/README.html")))
+ 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