# HG changeset patch
# User wenzelm
# Date 1549633348 -3600
# Node ID a19fdf64726ca146cf0b18038a2882d09abb8163
# Parent  0f2dc49250fb60c41ddfdc556e4250379e0eb5a0
tuned signature: proper exports;

diff -r 0f2dc49250fb -r a19fdf64726c src/Tools/Haskell/Haskell.thy
--- a/src/Tools/Haskell/Haskell.thy	Fri Feb 08 14:06:20 2019 +0100
+++ b/src/Tools/Haskell/Haskell.thy	Fri Feb 08 14:42:28 2019 +0100
@@ -344,6 +344,10 @@
   verbatimN, verbatim, cartoucheN, cartouche, commentN, comment, comment1N, comment1,
   comment2N, comment2, comment3N, comment3,
 
+  acceptedN, accepted, forkedN, forked, joinedN, joined, runningN, running, finishedN, finished,
+  failedN, failed, canceledN, canceled, initializedN, initialized, finalizedN, finalized,
+  consolidatedN, consolidated,
+
   writelnN, writeln, stateN, state, informationN, information, tracingN, tracing,
   warningN, warning, legacyN, legacy, errorN, error, reportN, report, no_reportN, no_report,