mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

	Commit message (Collapse)	Author	Age	Files	Lines
*	3559	Kartik K. Agaram	2016-10-22	1	-2/+11
\|
*	3544	Kartik K. Agaram	2016-10-22	1	-1/+1
\|
*	3542	Kartik K. Agaram	2016-10-22	1	-1/+1
\| \| \| \| \|	Keep color of control flow keywords from bleeding into that of function headers.
*	3496	Kartik K. Agaram	2016-10-11	1	-2/+2
\|
*	3490	Kartik K. Agaram	2016-10-09	1	-0/+7
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Redo commit 3457. Basically there were 3 unicode characters we changed back then: solid horizontal line: 9473 -> 9472 fuzzy horizontal line: 9480 -> 9548 fuzzy vertical line: 9482 -> 9550 The solid horizontal line has no issues, so we just redo it here. For the other two, we'll perform the substitution only when rendering html. That gives us the best of both worlds: the scenario screens render right in html, and alt-tabbing continues to be snappy when running the edit/ app.
*	2745	Kartik K. Agaram	2016-03-09	1	-0/+1
\|
*	2744	Kartik K. Agaram	2016-03-09	1	-2/+5
\| \| \| \|	Tweak colors and font-sizes in generated html.
*	2743	Kartik K. Agaram	2016-03-09	1	-2/+2
\| \| \| \| \|	Looks like "TOhtml \| <other command>" doesn't work on Mac OS X for some reason..
*	2177	Kartik K. Agaram	2015-09-07	1	-12/+20
\|
*	1885	Kartik K. Agaram	2015-07-29	1	-7/+7
\|
*	1690	Kartik K. Agaram	2015-07-01	1	-1/+1
\|
*	1632	Kartik K. Agaram	2015-06-23	1	-4/+4
\|
*	1631 - update html versions	Kartik K. Agaram	2015-06-23	1	-0/+6
\| \| \| \| \| \|	Html is a little more readable thanks to feedback from J David Eisenberg (https://news.ycombinator.com/item?id=9766330), in particular the suggestion to use https://addons.mozilla.org/En-us/firefox/addon/wcag-contrast-checker.
*	1517	Kartik K. Agaram	2015-05-30	1	-0/+10