scala - The Scala programming language

	Commit message (Collapse)	Author	Age	Files	Lines
*	Spec improvements	Simon Ochsenreither	2015-04-25	23	-147/+522
\|
*	spec: a header that links to the index, with a scala logo	Antoine Gourlay	2014-09-23	3	-4/+32
\| \| \| \|	...and a Scala favicon.
*	spec: a print stylesheet to remove the TOC when printing	Antoine Gourlay	2014-09-23	1	-0/+15
\|
*	spec: generated TOC with linkable headers	Antoine Gourlay	2014-09-22	8	-5/+585
\| \| \| \| \| \| \| \| \| \| \| \| \|	This adds a table of contents to the spec, with a way to get the link of a header on hover (like on GitHub) and a "return to top" small icon at the end of each section. Jekyll generates the H1-level table of contents, and then the current one is expended using jQuery all the way down to H5 titles. Examples and H6 headers are ignored. GitHub's (MIT licensed) octicons are used for nice "link" and "up" icons.
*	spec: add syntax highlighting for scala code with highlight.js	Antoine Gourlay	2014-09-17	2	-0/+25
\| \| \| \| \| \| \| \| \| \| \|	This adds syntax highlighting for all code scala blocks. Highlighting is done after MathJax is done rendering so that latex can be used in code blocks (and it currently is used). Sadly Scala isn't common enough to be bundled in the highlight.min.js available from CDNs, so we commit a local version of version 8.2 with only scala bundled in it. The only other language used (ebnf) isn't supported by highlight.js.
*	Simplify CSS, bigger monospace to match math	Adriaan Moors	2014-03-28	1	-29/+8
\|
*	Jekyll generated html in spec/ directory	Adriaan Moors	2014-03-27	2	-0/+353
	To avoid confusion, removing artifacts for currently unsupported targets (pdf/single-page html). I'd like to bring those back, but in the mean time let's avoid distractions. Add Travis build.