Skip to content

Small feature: go to node with given serial number - #3963

Open
WolframPfeifer wants to merge 2 commits into
mainfrom
pfeifer/gotoNode
Open

WolframPfeifer wants to merge 2 commits into
mainfrom
pfeifer/gotoNode

showing the annotated nodes as bookmarks in the goto dialogue.

4bda09e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
integration-tests (testProveRules, ubuntu-latest, 21)
succeeded Oct 11, 2026 in 2m 56s