git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2707 from jfdm/rtd-menu-cleanup
4e8db4aJan de Muijnck-Hughes
docs/conf.py+2−2
compare with master
unifiedsplit
@@ -59,9 +59,9 @@ author = u'The Idris Community'
59# built documents.
59# built documents.
60#
60#
61# The short X.Y version.
61# The short X.Y version.
62−version = '0.9.18'
62+version = '0.9.19'
63# The full version, including alpha/beta/rc tags.
63# The full version, including alpha/beta/rc tags.
64−release = '0.9.18'
64+release = '0.9.19.1'
65
65
66# The language for content autogenerated by Sphinx. Refer to documentation
66# The language for content autogenerated by Sphinx. Refer to documentation
67# for a list of supported languages.
67# for a list of supported languages.
docs/index.rst+5−108
@@ -16,115 +16,12 @@ Documentation for the Idris Language
16 More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/
16 More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/
17
17
18
18
19−* :ref:`tutorial-index`
20−* :ref:`eff-tutorial-index`
21−* :ref:`faq-index`
22−* :ref:`proofs-index`
23−* :ref:`reference-index`
24−* :ref:`guides-index`
25−
26−
27−.. _tutorial:
28−
29−###################
30−The Idris Tutorial
31−###################
32−
33−.. toctree::
34− :maxdepth: 1
35−
36− tutorial/introduction
37− tutorial/starting
38− tutorial/typesfuns
39− tutorial/classes
40− tutorial/modules
41− tutorial/packages
42− tutorial/testing
43− tutorial/interp
44− tutorial/views
45− tutorial/theorems
46− tutorial/provisional
47− tutorial/interactive
48− tutorial/syntax
49− tutorial/miscellany
50− tutorial/conclusions
51−
52−.. _faq:
53−
54−##########################
55−Frequently Asked Questions
56−##########################
57−
58.. toctree::
19.. toctree::
59 :maxdepth: 1
20 :maxdepth: 1
60
21
22+ tutorial/index
61 faq/faq
23 faq/faq
62−
63−.. _effects:
64−
65−################
66−Learning Effects
67−################
68−
69−.. toctree::
70− :maxdepth: 1
71−
72− effects/introduction
24+ effects/index
73− effects/state
74− effects/simpleeff
75− effects/depeff
76− effects/impleff
77− effects/hangman
78− effects/conclusions
79− effects/summary
80−
81−.. _proofs:
82−
83−###############
84−Theorem Proving
85−###############
86−
87−.. toctree::
88− :maxdepth: 1
89−
90− proofs/pluscomm
91− proofs/inductive
92− proofs/patterns
93− proofs/interactive
25+ proofs/index
94−
95−.. _reference:
96−
97−##################
98−Language Reference
99−##################
100−
101−.. toctree::
102− :maxdepth: 1
103−
104− reference/documenting
105− reference/packages
106− reference/uniqueness-types
107− reference/ffi
108− reference/syntax-guide
109− reference/erasure
110− reference/ide-protocol
111− reference/semantic-highlighting
112− reference/repl
113− reference/tactics
114− reference/compilation
115− reference/language-features
116− reference/language-extensions
117− reference/elaborator-reflection
118− reference/misc
26+ reference/index
119−
27+ guides/index
120−.. _guides:
121−
122−############
123−Short Guides
124−############
125−
126−.. toctree::
127− :maxdepth: 1
128−
129− guides/type-providers-ffi
130− guides/theorem-prover
docs/reference/tactics.rst+2−2
@@ -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