obsolete (see 94442fce40a5);
authorwenzelm
Fri, 06 Sep 2019 20:29:09 +0200
changeset 70857 3cab8dad5b40
parent 70856 e56ec28fc5e8
child 70858 9cac4dec0da9
obsolete (see 94442fce40a5);
src/Tools/Haskell/Haskell.thy
--- a/src/Tools/Haskell/Haskell.thy	Fri Sep 06 20:23:31 2019 +0200
+++ b/src/Tools/Haskell/Haskell.thy	Fri Sep 06 20:29:09 2019 +0200
@@ -344,7 +344,7 @@
   verbatimN, verbatim, cartoucheN, cartouche, commentN, comment, comment1N, comment1,
   comment2N, comment2, comment3N, comment3,
 
-  acceptedN, accepted, forkedN, forked, joinedN, joined, runningN, running, finishedN, finished,
+  forkedN, forked, joinedN, joined, runningN, running, finishedN, finished,
   failedN, failed, canceledN, canceled, initializedN, initialized, finalizedN, finalized,
   consolidatedN, consolidated,
 
@@ -629,11 +629,10 @@
 
 {- command status -}
 
-acceptedN, forkedN, joinedN, runningN, finishedN, failedN, canceledN,
+forkedN, joinedN, runningN, finishedN, failedN, canceledN,
   initializedN, finalizedN, consolidatedN :: String
-accepted, forked, joined, running, finished, failed, canceled,
+forked, joined, running, finished, failed, canceled,
   initialized, finalized, consolidated :: T
-(acceptedN, accepted) = markup_elem \<open>Markup.acceptedN\<close>
 (forkedN, forked) = markup_elem \<open>Markup.forkedN\<close>
 (joinedN, joined) = markup_elem \<open>Markup.joinedN\<close>
 (runningN, running) = markup_elem \<open>Markup.runningN\<close>