Commit Graph

10 Commits

Author SHA1 Message Date
Iñaki Garay 7a80b01e01 Add mdbook-toc, markers, and documentation (#1028)
* Add mdbook-toc to travis, book.toml  and documentation

* Add toc markers

* Whitespace cleanup and some punctuation

* Addressed comments
2021-01-20 14:33:11 -03:00
Mark Mansi 45cd6946b7 fix broken links 2019-11-05 11:58:33 -06:00
Michael Woerister b8af56c8ac Add a more detailed description of how incremental compilation works. 2019-01-30 13:13:16 +01:00
mark 8a49eb7686 fix all the not-en-dashes 2018-07-09 21:45:49 -05:00
Mark Mansi eec934f762 fix remaining links 2018-06-02 17:20:47 -04:00
Sunjay Varma 5f01a3b60b Closing all <a> tags 2018-05-10 14:46:44 -05:00
varkor 28ba13db20 Fix spacing 2018-04-06 14:18:08 -05:00
varkor c6b3ce0c96 Replace txt with text 2018-04-06 14:18:08 -05:00
varkor ad35712ddc Consolidate and fix code blocks 2018-04-06 14:18:08 -05:00
Mark Mansi 1efd726166 Add the contents of the typeck READMEs 2018-03-12 19:39:56 -05:00