2This style of tactic proof is deprecated. See %runElab for the replacement.
4This style of tactic proof is deprecated. See %runElab for the replacement.
6This style of tactic proof is deprecated. See %runElab for the replacement.
8This style of tactic proof is deprecated. See %runElab for the replacement.
9Testing using definition
10FileLoc "SourceLoc.idr" (16, 11) (16, 17)
11Testing using inline tactics
12FileLoc "SourceLoc.idr" (20, 17) (20, 17)
13Testing using metavariable with later definition
14FileLoc "SourceLoc.idr" (98, 16) (98, 16)
15-----------------------
17Error 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