@@ -113,7 +113,7 @@ Commands for viewing the proof state:
113- ``:term`` displays the current proof term as well as its yet-to-be-filled holes.
113- ``:term`` displays the current proof term as well as its yet-to-be-filled holes.
116−Commands for manipulating the manipulating the proof state:
116+Commands for manipulating the proof state:
118- ``:undo`` undoes the effects of the last tactic.
118- ``:undo`` undoes the effects of the last tactic.