scala - The Scala programming language

	Commit message (Collapse)	Author	Age	Files	Lines
*	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.