--- a/src/Pure/General/print_mode.ML Wed Sep 11 21:25:15 2024 +0200
+++ b/src/Pure/General/print_mode.ML Wed Sep 11 21:41:33 2024 +0200
@@ -21,6 +21,7 @@
val internal: string
val ASCII: string
val PIDE: string
+ val latex: string
val setmp: string list -> ('a -> 'b) -> 'a -> 'b
val with_modes: string list -> ('a -> 'b) -> 'a -> 'b
val closure: ('a -> 'b) -> 'a -> 'b
@@ -34,6 +35,7 @@
val internal = "internal";
val ASCII = "ASCII";
val PIDE = "PIDE";
+val latex = "latex";
val print_mode = Unsynchronized.ref ([]: string list);
val print_mode_var = Thread_Data.var () : string list Thread_Data.var;