src/Pure/General/print_mode.ML

 
 signature PRINT_MODE =
 sig
   include BASIC_PRINT_MODE
   val input: string
+  val ASCII: string
   val internal: string
   val setmp: string list -> ('a -> 'b) -> 'a -> 'b
   val with_modes: string list -> ('a -> 'b) -> 'a -> 'b
   val closure: ('a -> 'b) -> 'a -> 'b
 end;
 
 structure Print_Mode: PRINT_MODE =
 struct
 
 val input = "input";
+val ASCII = "ASCII";
 val internal = "internal";
 
 val print_mode = Unsynchronized.ref ([]: string list);
 val tag = Universal.tag () : string list option Universal.tag;