Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Split into sections | Jonathan Brachthäuser | 2016-12-21 | 1 | -0/+13 |
* | Change quoting of terminals | Jonathan Brachthäuser | 2016-12-21 | 1 | -176/+177 |
* | Remove tree annotations | Jonathan Brachthäuser | 2016-12-21 | 1 | -90/+90 |
* | dedent | Jonathan Brachthäuser | 2016-12-21 | 1 | -308/+308 |
* | Replace tex headers by markdown headers | Jonathan Brachthäuser | 2016-12-21 | 1 | -8/+10 |
* | Add markdown header | Jonathan Brachthäuser | 2016-12-21 | 1 | -5/+15 |
* | Start with tex-based syntax description | Jonathan Brachthäuser | 2016-12-21 | 1 | -0/+327 |
* | 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 | 3 | -20/+57 |
* | Resync copy of the type diagram in docs | Paolo G. Giarrusso | 2016-11-07 | 1 | -3/+8 |
* | Fix #1674: add search to doc site | Felix Mulder | 2016-11-07 | 14 | -40/+10 |
* | Remove broken link in docs index | Felix Mulder | 2016-10-31 | 1 | -1/+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 | 16 | -0/+1518 |