Changes between Initial Version and Version 1 of Ticket #5682, comment 3


Ignore:
Timestamp:
2019-12-01T19:03:07Z (5 years ago)
Author:
Francesco Casella

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #5682, comment 3

    initial v1  
    1010> I can make this a setting in OMEdit. So by default it will remain disabled but the user can enable it if needed. And then I will write some information about it in the users guide. What do you think?
    1111
    12 I don't think this is the right way to go. Mistyped annotations should be caught immediately when checking models, and this is definitetly not an advanced feature. To the contrary, it is mostly needed by beginners.
     12I don't think this is the right way to go. Mistyped annotations should be caught immediately when checking models, and this is definitely not an advanced feature. To the contrary, it is mostly needed by beginners.