1. KRR Avatar KRR
  2. software
  3. IDP
  4. Issues

SPASS interface cannot handle " ' " symbol

Issue #408 new
Broes De Cat created an issue

IDP names can contain the symbol " ' ", but it has transformed before it is passed to spass.

Comments (0)

  1. Log in to comment
Assignee
–
Type
bug
Priority
minor
Status
new
Component
–
Version
–
Votes
0
Watchers
0
Jira: the preferred issue tracker for Bitbucket. Join the team!