--- a/src/Pure/PIDE/isabelle_markup.ML Sat Apr 07 18:08:29 2012 +0200
+++ b/src/Pure/PIDE/isabelle_markup.ML Sat Apr 07 19:28:44 2012 +0200
@@ -90,7 +90,7 @@
val sendbackN: string val sendback: Markup.T
val hiliteN: string val hilite: Markup.T
val taskN: string
- val parsedN: string val parsed: Markup.T
+ val acceptedN: string val accepted: Markup.T
val forkedN: string val forked: Markup.T
val joinedN: string val joined: Markup.T
val failedN: string val failed: Markup.T
@@ -283,7 +283,7 @@
val taskN = "task";
-val (parsedN, parsed) = markup_elem "parsed";
+val (acceptedN, accepted) = markup_elem "accepted";
val (forkedN, forked) = markup_elem "forked";
val (joinedN, joined) = markup_elem "joined";