Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | More tests and other odds and end | Martin Odersky | 2016-12-14 | 1 | -0/+113 |
* | Add drone integration | Felix Mulder | 2016-11-22 | 1 | -1/+0 |
* | Remove unused examples dir, duplicate contained in tests/pos | Felix Mulder | 2016-11-22 | 1 | -2/+2 |
* | Update documentation for new sbt commands | Felix Mulder | 2016-11-22 | 4 | -21/+63 |
* | Merge pull request #1634 from dotty-staging/change-tasty-pos-ctd | odersky | 2016-11-21 | 1 | -2/+2 |
|\ | |||||
| * | Pickle and unpickle type trees | Martin Odersky | 2016-11-16 | 1 | -2/+2 |
* | | Merge pull request #1678 from Blaisorblade/sync-diagrams | Guillaume Martres | 2016-11-12 | 1 | -3/+8 |
|\ \ | |/ |/| | |||||
| * | Resync copy of the type diagram in docs | Paolo G. Giarrusso | 2016-11-07 | 1 | -3/+8 |
* | | Update feature list on webpage | Felix Mulder | 2016-11-09 | 1 | -7/+2 |
|/ | |||||
* | Fix highlighting in search, add highlights in forwarding links | Felix Mulder | 2016-11-07 | 7 | -21/+78 |
* | Fix #1675: add `edit on github` button | Felix Mulder | 2016-11-07 | 3 | -0/+11 |
* | Fix #1674: add search to doc site | Felix Mulder | 2016-11-07 | 22 | -46/+179 |
* | Fix #1668 - add encoding for default docs layout | dos65 | 2016-11-06 | 1 | -0/+2 |
* | Remove broken link in docs index | Felix Mulder | 2016-10-31 | 1 | -1/+1 |
* | Change base-url, so dotty.epfl.ch can build master | Felix Mulder | 2016-10-31 | 1 | -1/+1 |
* | Change base url to match new CNAME from dotty.epfl.ch | Felix Mulder | 2016-10-31 | 1 | -1/+1 |
* | Create CNAME | Felix Mulder | 2016-10-31 | 1 | -0/+1 |
* | Use => instead of -> for PolyTypes | Martin Odersky | 2016-10-12 | 1 | -1/+1 |
* | Merge pull request #1582 from cvogt/patch-2 | Felix Mulder | 2016-10-11 | 1 | -0/+1 |
|\ | |||||
| * | linking cbt usage, merge after #1581 | Jan Christopher Vogt | 2016-10-11 | 1 | -0/+1 |
* | | cbt dotty usage | Jan Christopher Vogt | 2016-10-11 | 1 | -0/+19 |
|/ | |||||
* | Migrate dotty.epfl.ch to static site in repository | Felix Mulder | 2016-10-07 | 33 | -29/+4338 |
* | Fix gh pages config file | Felix Mulder | 2016-10-06 | 1 | -1/+1 |
* | Append baseurl to necessary links | Felix Mulder | 2016-10-06 | 2 | -19/+19 |
* | Remove relative links for markdown plugin | Felix Mulder | 2016-10-06 | 4 | -270/+9 |
* | Warn users about outdated HK scheme | Felix Mulder | 2016-10-06 | 1 | -1/+5 |
* | Add Jekyll as static site generator | Felix Mulder | 2016-10-06 | 39 | -109/+768 |
* | Add posts from dotty-website | Felix Mulder | 2016-10-06 | 6 | -12/+471 |
* | Add index.md | Felix Mulder | 2016-10-06 | 2 | -0/+31 |
* | Move wiki into docs dir | Felix Mulder | 2016-10-06 | 21 | -643/+1493 |
* | Add inline for vals | Martin Odersky | 2016-10-02 | 1 | -2/+3 |
* | Eliminate SelectFromTypeTree from docs | Martin Odersky | 2016-09-25 | 1 | -1/+1 |
* | Fix #1396: Modify parser to allow wildcard types everywhere | Clemens Winter | 2016-08-01 | 1 | -6/+6 |
* | Drop restriction to 2nd order hk types | Martin Odersky | 2016-07-12 | 1 | -2/+3 |
* | New type lambda scheme for hk types | Martin Odersky | 2016-07-11 | 1 | -1/+1 |
* | Polishing | Martin Odersky | 2016-04-01 | 1 | -10/+11 |
* | Add links | Martin Odersky | 2016-04-01 | 1 | -6/+14 |
* | New article: dotc's overall structure | Martin Odersky | 2016-04-01 | 1 | -0/+165 |
* | add syntax highlighting | Martin Odersky | 2016-04-01 | 1 | -0/+4 |
* | fix typo | Martin Odersky | 2016-04-01 | 1 | -1/+1 |
* | Fix typo | Martin Odersky | 2016-04-01 | 1 | -1/+1 |
* | Add more material to periods.md | Martin Odersky | 2016-04-01 | 1 | -1/+39 |
* | First of a series of compiler design documents | Martin Odersky | 2016-04-01 | 1 | -0/+52 |
* | Allow Named Arguments in TypeArgs | Martin Odersky | 2016-02-19 | 1 | -1/+1 |
* | First version of named type arguments | Martin Odersky | 2016-02-19 | 1 | -1/+3 |
* | Fix parsing of blocks that end in an import | Martin Odersky | 2015-12-19 | 1 | -1/+1 |
* | fix typos | Martin Odersky | 2015-10-23 | 1 | -8/+8 |
* | fix typos | Martin Odersky | 2015-10-23 | 1 | -2/+4 |
* | fix typos | Martin Odersky | 2015-10-23 | 1 | -3/+3 |
* | fix typos | Martin Odersky | 2015-10-23 | 1 | -2/+2 |