src/Pure/PIDE/markup.ML
changeset 52563 f9a20c2c3b70
parent 52111 1fd184eaa310
child 52643 34c29356930e
     1.1 --- a/src/Pure/PIDE/markup.ML	Tue Jul 09 13:16:10 2013 +0200
     1.2 +++ b/src/Pure/PIDE/markup.ML	Tue Jul 09 13:17:22 2013 +0200
     1.3 @@ -140,7 +140,7 @@
     1.4    val padding_line: Properties.entry
     1.5    val dialogN: string val dialog: serial -> string -> T
     1.6    val functionN: string
     1.7 -  val assign_execs: Properties.T
     1.8 +  val assign_update: Properties.T
     1.9    val removed_versions: Properties.T
    1.10    val protocol_handler: string -> Properties.T
    1.11    val invoke_scala: string -> string -> Properties.T
    1.12 @@ -459,7 +459,7 @@
    1.13  
    1.14  val functionN = "function"
    1.15  
    1.16 -val assign_execs = [(functionN, "assign_execs")];
    1.17 +val assign_update = [(functionN, "assign_update")];
    1.18  val removed_versions = [(functionN, "removed_versions")];
    1.19  
    1.20  fun protocol_handler name = [(functionN, "protocol_handler"), (nameN, name)];