--- a/src/Pure/PIDE/markup.ML Wed Dec 12 21:50:42 2012 +0100
+++ b/src/Pure/PIDE/markup.ML Wed Dec 12 23:36:07 2012 +0100
@@ -96,11 +96,11 @@
val proof_stateN: string val proof_state: int -> T
val stateN: string val state: T
val subgoalN: string val subgoal: T
+ val graphviewN: string
+ val sendbackN: string
val paddingN: string
val padding_line: string * string
- val sendbackN: string
val dialogN: string val dialog: string -> string -> T
- val graphviewN: string
val intensifyN: string val intensify: T
val taskN: string
val acceptedN: string val accepted: T
@@ -341,16 +341,15 @@
(* active areas *)
+val graphviewN = "graphview";
+
val sendbackN = "sendback";
+val paddingN = "padding";
+val padding_line = (paddingN, lineN);
val dialogN = "dialog";
fun dialog name result = (dialogN, [(nameN, name), ("result", result)]);
-val graphviewN = "graphview";
-
-val paddingN = "padding";
-val padding_line = (paddingN, lineN);
-
val (intensifyN, intensify) = markup_elem "intensify";