aboutsummaryrefslogtreecommitdiff
path: root/docs/docs
Commit message (Expand)AuthorAgeFilesLines
* Split into sectionsJonathan Brachthäuser2016-12-211-0/+13
* Change quoting of terminalsJonathan Brachthäuser2016-12-211-176/+177
* Remove tree annotationsJonathan Brachthäuser2016-12-211-90/+90
* dedentJonathan Brachthäuser2016-12-211-308/+308
* Replace tex headers by markdown headersJonathan Brachthäuser2016-12-211-8/+10
* Add markdown headerJonathan Brachthäuser2016-12-211-5/+15
* Start with tex-based syntax descriptionJonathan Brachthäuser2016-12-211-0/+327
* Remove unused examples dir, duplicate contained in tests/posFelix Mulder2016-11-221-2/+2
* Update documentation for new sbt commandsFelix Mulder2016-11-223-20/+57
* Resync copy of the type diagram in docsPaolo G. Giarrusso2016-11-071-3/+8
* Fix #1674: add search to doc siteFelix Mulder2016-11-0714-40/+10
* Remove broken link in docs indexFelix Mulder2016-10-311-1/+1
* cbt dotty usageJan Christopher Vogt2016-10-111-0/+19
* Migrate dotty.epfl.ch to static site in repositoryFelix Mulder2016-10-0716-0/+1518