zulip

Author	SHA1	Message	Date
Eklavya Sharma	ed03619f95	docs/mypy.md: Document zerver/lib/type_debug.py.	2016-07-23 14:38:24 -07:00
Sumana Harihareswara	850d8d1181	Fix formatting, capitalization, & grammar in mypy doc.	2016-07-12 19:14:31 -07:00
Eklavya Sharma	51239f225b	Mention build name in docs. Mention in docs that tools/run-mypy and tools/check-py3k are run in the 'static-analysis' build.	2016-07-11 21:28:01 -07:00
Tim Abbott	89b5eaaa7d	docs: Improve several headings.	2016-06-26 09:54:19 -07:00
Eklavya Sharma	f18493f922	Add documentation about zerver/lib/str_utils.py.	2016-06-11 17:31:56 +05:30
Eklavya Sharma	85ef5900b4	docs/mypy.md: Add section on annotating strings.	2016-06-10 16:30:14 -07:00
Tim Abbott	c9ef726048	docs/mypy: Add note about Zulip's annotation goals.	2016-06-10 16:30:14 -07:00
Eklavya Sharma	a4c14cd448	Improve docs/mypy.md. Add link to mypy cheat sheet. Warn against modifying annotations to somehow make them pass on buggy code. [Description expanded by tabbott]	2016-06-10 16:30:00 -07:00
Sumana Harihareswara	f65778f1e2	Improve sub-headings in documentation. Signed-off-by: Sumana Harihareswara <sumanah@panix.com>	2016-05-31 09:05:38 -07:00
Tim Abbott	f06c8c7cc2	Update .readthedocs.org => .readthedocs.io. ReadTheDocs has moved their hosting of user project websites to the new readthedocs.io domain.	2016-04-29 16:00:08 -07:00
Eklavya Sharma	b60141fd84	Add documentation on the using the mypy static type checker. [with substantial tweaks by tabbott]	2016-04-28 12:29:45 -07:00