Fixed reST error in docs.
commit262369c4898bfef1a2bf022f36cc321d1883a14d
authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk>
dateThu 8 Oct 2015, 12:02 (11 years ago)
parentc1b329c
docs/reference/tactics.rst+2−2
@@ -1,6 +1,6 @@
1−***************************
1+****************************************
22DEPRECATED: Tactics and Theorem Proving
3−***************************
3+****************************************
44
55.. warning::
66 The interactive theorem-proving interface documented here has been