aboutsummaryrefslogtreecommitdiff
path: root/docs
Commit message (Expand)AuthorAgeFilesLines
* Fix typos, remove unused defs, adopt hexNumeral to 2.12 grammarJonathan Brachthäuser2016-12-211-3/+2
* Replace tex code in the same way as the scala 2.12 syntax docJonathan Brachthäuser2016-12-211-11/+13
* 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
* Fix linkMartin Odersky2016-12-171-11/+5
* Add conclusion to blog postMartin Odersky2016-12-171-0/+10
* Finished blog postMartin Odersky2016-12-171-35/+225
* More tests and starting a blog postMartin Odersky2016-12-171-0/+170
* Generalize syntax for implicit function valuesMartin Odersky2016-12-171-7/+5
* Add syntax for implicit functionsMartin Odersky2016-12-171-2/+2
* More tests and other odds and endMartin Odersky2016-12-141-0/+113
* Add drone integrationFelix Mulder2016-11-221-1/+0
* Remove unused examples dir, duplicate contained in tests/posFelix Mulder2016-11-221-2/+2
* Update documentation for new sbt commandsFelix Mulder2016-11-224-21/+63
* Merge pull request #1634 from dotty-staging/change-tasty-pos-ctdodersky2016-11-211-2/+2
|\
| * Pickle and unpickle type treesMartin Odersky2016-11-161-2/+2
* | Merge pull request #1678 from Blaisorblade/sync-diagramsGuillaume Martres2016-11-121-3/+8
|\ \ | |/ |/|
| * Resync copy of the type diagram in docsPaolo G. Giarrusso2016-11-071-3/+8
* | Update feature list on webpageFelix Mulder2016-11-091-7/+2
|/
* Fix highlighting in search, add highlights in forwarding linksFelix Mulder2016-11-077-21/+78
* Fix #1675: add `edit on github` buttonFelix Mulder2016-11-073-0/+11
* Fix #1674: add search to doc siteFelix Mulder2016-11-0722-46/+179
* Fix #1668 - add encoding for default docs layoutdos652016-11-061-0/+2
* Remove broken link in docs indexFelix Mulder2016-10-311-1/+1
* Change base-url, so dotty.epfl.ch can build masterFelix Mulder2016-10-311-1/+1
* Change base url to match new CNAME from dotty.epfl.chFelix Mulder2016-10-311-1/+1
* Create CNAMEFelix Mulder2016-10-311-0/+1
* Use => instead of -> for PolyTypesMartin Odersky2016-10-121-1/+1
* Merge pull request #1582 from cvogt/patch-2Felix Mulder2016-10-111-0/+1
|\
| * linking cbt usage, merge after #1581Jan Christopher Vogt2016-10-111-0/+1
* | cbt dotty usageJan Christopher Vogt2016-10-111-0/+19
|/
* Migrate dotty.epfl.ch to static site in repositoryFelix Mulder2016-10-0733-29/+4338
* Fix gh pages config fileFelix Mulder2016-10-061-1/+1
* Append baseurl to necessary linksFelix Mulder2016-10-062-19/+19
* Remove relative links for markdown pluginFelix Mulder2016-10-064-270/+9
* Warn users about outdated HK schemeFelix Mulder2016-10-061-1/+5
* Add Jekyll as static site generatorFelix Mulder2016-10-0639-109/+768
* Add posts from dotty-websiteFelix Mulder2016-10-066-12/+471
* Add index.mdFelix Mulder2016-10-062-0/+31
* Move wiki into docs dirFelix Mulder2016-10-0621-643/+1493
* Add inline for valsMartin Odersky2016-10-021-2/+3
* Eliminate SelectFromTypeTree from docsMartin Odersky2016-09-251-1/+1
* Fix #1396: Modify parser to allow wildcard types everywhereClemens Winter2016-08-011-6/+6
* Drop restriction to 2nd order hk typesMartin Odersky2016-07-121-2/+3
* New type lambda scheme for hk typesMartin Odersky2016-07-111-1/+1