tuned signature: proper exports;
authorwenzelm
Fri Feb 08 14:42:28 2019 +0100 (2 months ago)
changeset 69794a19fdf64726c
parent 69793 0f2dc49250fb
child 69795 4791988fcbc4
tuned signature: proper exports;
src/Tools/Haskell/Haskell.thy
     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