Actions
Bug #7572
closedMarks for safes can't be created any more
Start date:
09/20/2016
Due date:
09/20/2016
% Done:
100%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
Description
There isn't corresponding button any more. Perhaps this is due to proofs aren't uploaded any more (BTW, you can omit visualization of empty proofs). A corresponding test case is welcome.
Files
Actions