IS NOT in Bold letters
shashankgoudp opened this issue · comments
Shashank Goud commented
IS NOT has to be in just italics not in BOLD letters
Manav Verma commented
Thanks!!
PSPWizard: Machine-assisted Definition of Temporal Logical Properties with Specification Patterns
http://www.ict.swin.edu.au/personal/mlumpe/PSPWizard/index.html
shashankgoudp opened this issue · comments
IS NOT has to be in just italics not in BOLD letters
Thanks!!