1.1 --- a/src/Pure/Syntax/syntax.ML	Thu Dec 07 17:58:52 2006 +0100
     1.2 +++ b/src/Pure/Syntax/syntax.ML	Thu Dec 07 17:58:54 2006 +0100
     1.3 @@ -39,6 +39,7 @@
     1.4    val is_keyword: syntax -> string -> bool
     1.5    type mode
     1.6    val default_mode: mode
     1.7 +  val input_mode: mode
     1.8    val extend_type_gram: (string * int * mixfix) list -> syntax -> syntax
     1.9    val extend_const_gram: (string -> bool) ->
    1.10      mode -> (string * typ * mixfix) list -> syntax -> syntax
    1.11 @@ -185,6 +186,7 @@
    1.12  
    1.13  type mode = string * bool;
    1.14  val default_mode = ("", true);
    1.15 +val input_mode = ("input", true);
    1.16  
    1.17  
    1.18  (* empty_syntax *)