src/Pure/PIDE/isar_document.scala
changeset 44644 317e4962dd0f
parent 44615 a4ff8a787202
child 44661 383c9d758a56
equal deleted inserted replaced
44643:9987ae55e17b 44644:317e4962dd0f
   146 
   146 
   147 trait Isar_Document extends Isabelle_Process
   147 trait Isar_Document extends Isabelle_Process
   148 {
   148 {
   149   /* commands */
   149   /* commands */
   150 
   150 
   151   def define_command(id: Document.Command_ID, text: String): Unit =
   151   def define_command(command: Command): Unit =
   152     input("Isar_Document.define_command", Document.ID(id), text)
   152     input("Isar_Document.define_command",
       
   153       Document.ID(command.id), Symbol.encode(command.name), Symbol.encode(command.source))
   153 
   154 
   154 
   155 
   155   /* document versions */
   156   /* document versions */
   156 
   157 
   157   def cancel_execution()
   158   def cancel_execution()