add to proof documentation

2024-08-16 12:10:39 +03:00 · 2019-02-23 08:32:21 +00:00 · 2019-02-23 08:32:21 +00:00 · 80636c0f24
commit 80636c0f24
parent 1a8c1a6f90
3 changed files with 3 additions and 0 deletions
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@ -1,4 +1,5 @@
 # New in next version
+ Documentation added to proof section

 ## Tool updates
 + Modules no longer require building if imports have changed but all
--- a/1
+++ b/1
@ -143,6 +143,7 @@ Luke Palmer
 Mark Farrell
 Markus Klink
 Markus Pfeiffer
+Martin Baker
 Mathnerd314
 Mattias Lundell
 Matvey B. Aksenov
--- a/docs/proofs/index.rst
+++ b/docs/proofs/index.rst
@ -18,6 +18,7 @@ A tutorial on theorem proving in Idris.
 .. toctree::
   :maxdepth: 1

+   definitional
   pluscomm
   inductive
   patterns