You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The editor complains that the text of the description might have unrecognised escape sequences when putting for example LaTeX into the description because of the backslashes - I guess this is because the XText machinery is assuming the the strings should have a "Java"-like interpretation - this is not so
The text was updated successfully, but these errors were encountered:
The editor complains that the text of the description might have unrecognised escape sequences when putting for example LaTeX into the description because of the backslashes - I guess this is because the XText machinery is assuming the the strings should have a "Java"-like interpretation - this is not so
The text was updated successfully, but these errors were encountered: