dotty - Research platform for new language concepts and compiler technologies for Scala.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fix highlighting in search, add highlights in forwarding links	Felix Mulder	2016-11-07	2	-2/+23
\|
*	Fix #1675: add `edit on github` button	Felix Mulder	2016-11-07	1	-0/+3
\|
*	Fix #1674: add search to doc site	Felix Mulder	2016-11-07	2	-0/+18
\|
*	Fix #1668 - add encoding for default docs layout	dos65	2016-11-06	1	-0/+2
\|
*	Migrate dotty.epfl.ch to static site in repository	Felix Mulder	2016-10-07	3	-4/+44
\|
*	Append baseurl to necessary links	Felix Mulder	2016-10-06	1	-4/+4
\|
*	Remove relative links for markdown plugin	Felix Mulder	2016-10-06	1	-1/+9
\| \| \| \| \|	This plugin caused the Github site builder to kill the build (github has a limited number of trusted plugins - this wasn't one of them).
*	Add Jekyll as static site generator	Felix Mulder	2016-10-06	2	-0/+41