src/Tools/jEdit/src/session_dockable.scala
changeset 43661 39fdbd814c7f
parent 43606 e1a09c2a6248
child 43721 fad8634cee62
     1.1 --- a/src/Tools/jEdit/src/session_dockable.scala	Mon Jul 04 20:18:19 2011 +0200
     1.2 +++ b/src/Tools/jEdit/src/session_dockable.scala	Mon Jul 04 22:11:32 2011 +0200
     1.3 @@ -24,8 +24,8 @@
     1.4  {
     1.5    /* main tabs */
     1.6  
     1.7 -  private val readme = new HTML_Panel(Isabelle.system, "SansSerif", 14)
     1.8 -  readme.render_document(Isabelle.system.try_read(List(Path.explode("$JEDIT_HOME/README.html"))))
     1.9 +  private val readme = new HTML_Panel("SansSerif", 14)
    1.10 +  readme.render_document(Isabelle_System.try_read(List(Path.explode("$JEDIT_HOME/README.html"))))
    1.11  
    1.12    private val syslog = new TextArea(Isabelle.session.syslog())
    1.13    syslog.editable = false