use proper ShowMapping options for DifferentNames task variants#615
use proper ShowMapping options for DifferentNames task variants#615jvoigtlaender merged 3 commits intodevfrom
Conversation
|
For |
|
Yes, probably in And maybe even for A more general question arises here of whether even after these enhancements, the feedback texts for these two types of task would be fully appropriate. That is, whether the text printed by Adapting those texts would probably only be possible by using But this should probably be dealt with in a separate issue. |
|
Within the issue here, maybe even for Probably the text in modelling-tasks/src/Modelling/CdOd/DifferentNames.hs Lines 641 to 644 in b293f87 |
close #614