| changeset 43443 | 5d9693c2337e |
| parent 41534 | f36cb6f233bd |
| child 43520 | cec9b95fa35d |
--- a/src/Pure/System/session.scala Sat Jun 18 17:32:13 2011 +0200 +++ b/src/Pure/System/session.scala Sat Jun 18 17:33:27 2011 +0200 @@ -31,7 +31,7 @@ } -class Session(system: Isabelle_System) +class Session(val system: Isabelle_System) { /* real time parameters */ // FIXME properties or settings (!?)