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