updated readme

EugeneLoy · Jan 25, 2024 · ca58efe · ca58efe
1 parent f6c5989
commit ca58efe
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -48,6 +48,8 @@ By default, running cell will rollback any code that was executed in that cell b
 
 Manual cell rollback is also available using `Rollback cell` button (at the bottom of executed cell) or shortcut (`Ctrl+Backspace`).
 
+![Backtracking screenshot](screenshot.png)
+
 ## coqtop arguments
 
 Use `--coqtop-args` to supply additional arguments to `coqidetop`/`coqidetop.opt`/`coqtop` when installing kernel. In this case you might also want to set custom kernel name/display name using `--kernel-name`/`--kernel-display-name`.

diff --git a/screenshot.png b/screenshot.png