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
After a definition or theorem statement has been entered completely, the user should get a chance to fill all remaining unfilled placeholders, instead of getting an error upon submission. Possible solution:
Show these placeholders in a popup.
Turn off the corresponding custom notation temporarily.
Show the source code, and display placeholders there instead of question marks.
The text was updated successfully, but these errors were encountered:
After a definition or theorem statement has been entered completely, the user should get a chance to fill all remaining unfilled placeholders, instead of getting an error upon submission. Possible solution:
The text was updated successfully, but these errors were encountered: