1Testing using definition
2FileLoc "SourceLoc.idr" (16, 11) (16, 17)
3Testing using inline tactics
4FileLoc "SourceLoc.idr" (20, 17) (20, 17)
5Testing using metavariable with later definition
6FileLoc "SourceLoc.idr" (98, 16) (98, 16)
9Error at FileLoc "SourceLoc.idr" (72, 23) (72, 26)
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list