changeset 53982 | f0ee92285221 |
parent 53576 | 793a429c63e7 |
child 57320 | 00f2c8d1aa0b |
--- a/src/Doc/System/Scala.thy Sun Sep 29 12:44:40 2013 +0200 +++ b/src/Doc/System/Scala.thy Sun Sep 29 12:49:47 2013 +0200 @@ -90,7 +90,7 @@ Console.println("document = " + options.string("document")) \end{alltt} - Alternatively the full @{"file" + Alternatively the full @{file "$ISABELLE_HOME/bin/isabelle_scala_script"} may be specified in expanded form. *}