ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-14 03:14:14 +03:00
Code Issues Projects Releases Wiki Activity

Fixed reST error in docs.

Browse Source
This commit is contained in:
Jan de Muijnck-Hughes 2015-10-08 12:02:59 +01:00
parent c1b329c708
commit 262369c489
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
docs/reference/tactics.rst
View File

@ -1,6 +1,6 @@
***************************
****************************************
DEPRECATED: Tactics and Theorem Proving
***************************
****************************************
.. warning::
The interactive theorem-proving interface documented here has been