1.1 --- a/src/Pure/System/session.scala	Wed Jul 06 23:11:59 2011 +0200
     1.2 +++ b/src/Pure/System/session.scala	Thu Jul 07 13:48:30 2011 +0200
     1.3 @@ -117,7 +117,7 @@
     1.4  
     1.5    @volatile var loaded_theories: Set[String] = Set()
     1.6  
     1.7 -  @volatile private var syntax = new Outer_Syntax(Isabelle_System.symbols)
     1.8 +  @volatile private var syntax = new Outer_Syntax
     1.9    def current_syntax(): Outer_Syntax = syntax
    1.10  
    1.11    @volatile private var reverse_syslog = List[XML.Elem]()
    1.12 @@ -202,9 +202,7 @@
    1.13                        case Some(command) =>
    1.14                          if (global_state.peek().lookup_command(command.id).isEmpty) {
    1.15                            global_state.change(_.define_command(command))
    1.16 -                          prover.get.
    1.17 -                            define_command(command.id,
    1.18 -                              Isabelle_System.symbols.encode(command.source))
    1.19 +                          prover.get.define_command(command.id, Symbol.encode(command.source))
    1.20                          }
    1.21                          Some(command.id)
    1.22                      }