git.iko.soy/Idris-dev
on master help sign in
Fixed reST error in docs.
262369cJan de Muijnck-Hughes
docs/reference/tactics.rst+2−2
compare with master
unifiedsplit
@@ -1,6 +1,6 @@
1−***************************
1+****************************************
2DEPRECATED: Tactics and Theorem Proving
2DEPRECATED: Tactics and Theorem Proving
3−***************************
3+****************************************
4
4
5.. warning::
5.. warning::
6 The interactive theorem-proving interface documented here has been
6 The interactive theorem-proving interface documented here has been