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
*	3764 - better colors for cross-links	Kartik K. Agaram	2017-03-08	1	-5/+9
\|
*	3725	Kartik K. Agaram	2016-12-27	1	-4/+10
\| \| \| \| \| \|	More improvements to cross-linking example programs. Include their own functions as well in the tags for each program, even as you share the core .mu files everywhere.
*	3720	Kartik K. Agaram	2016-12-27	1	-1/+3
\|
*	3716	Kartik K. Agaram	2016-12-26	1	-2/+4
\| \| \| \|	Make hyperlinks less salient in the rendered html since there's so many of them.
*	3715	Kartik K. Agaram	2016-12-26	1	-1/+6
\| \| \| \| \| \| \| \|	Fix cross-links in html for the edit/ app. I originally thought I'd need to provide a commandline flag like --rel-path or something. But we need to support different relative paths in a single html file. So the solution instead is appropriately engineering the tags file.
*	3713 - cross-link calls with definitions in html	Kartik K. Agaram	2016-12-26	1	-0/+15
\|
*	3710	Kartik K. Agaram	2016-12-26	1	-1/+0
\| \| \| \| \|	Turns out we don't need to explicitly add anchors for each line. Vim's TOhtml has magic for that out of the box.
*	3709 - line numbers in html	Kartik K. Agaram	2016-12-26	1	-1/+4
\| \| \| \| \| \|	Each line number also gets an anchor name, but I'm not hyperlinking them for now because I don't want to encourage bookmarking these links just yet. They aren't permalinks because every revision may change what's at any given line number.
*	3687	Kartik K. Agaram	2016-11-25	1	-7/+6
\|
*	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