src/Pure/General/print_mode.ML
changeset 61957 301833d9013a
parent 39124 9bac2f4cfd6e
child 62542 b27b7c2200b9
     1.1 --- a/src/Pure/General/print_mode.ML	Mon Dec 28 23:13:33 2015 +0100
     1.2 +++ b/src/Pure/General/print_mode.ML	Tue Dec 29 14:58:15 2015 +0100
     1.3 @@ -18,6 +18,7 @@
     1.4  sig
     1.5    include BASIC_PRINT_MODE
     1.6    val input: string
     1.7 +  val ASCII: string
     1.8    val internal: string
     1.9    val setmp: string list -> ('a -> 'b) -> 'a -> 'b
    1.10    val with_modes: string list -> ('a -> 'b) -> 'a -> 'b
    1.11 @@ -28,6 +29,7 @@
    1.12  struct
    1.13  
    1.14  val input = "input";
    1.15 +val ASCII = "ASCII";
    1.16  val internal = "internal";
    1.17  
    1.18  val print_mode = Unsynchronized.ref ([]: string list);