Remove duplicated phrase
commitd17f2467350bb2e8d055c2779b2ac9170dac88f4
authorJeremy W. Sherman <jeremyw.sherman@gmail.com>
dateMon 12 Oct 2015, 18:21 (11 years ago)
parentf30db6b
docs/reference/elaborator-reflection.rst+1−1
@@ -113,7 +113,7 @@ Commands for viewing the proof state:
113113- ``:term`` displays the current proof term as well as its yet-to-be-filled holes.
114114
115115
116−Commands for manipulating the manipulating the proof state:
116+Commands for manipulating the proof state:
117117
118118- ``:undo`` undoes the effects of the last tactic.
119119