coq_jupyter icon indicating copy to clipboard operation
coq_jupyter copied to clipboard

Published 20 hours ago • verified publisher icon EugeneLoy

Add browsable cell evaluation history

Open EugeneLoy opened this issue 5 years ago • 0 comments

Might be useful to access (browse code, rollback) deleted cells.

EugeneLoy avatar Mar 29 '19 15:03 EugeneLoy