about summary refs log tree commit diff stats
path: root/update_html
Commit message (Collapse)AuthorAgeFilesLines
* 4478Kartik Agaram2018-08-041-1/+1
|
* 4242 - get rid of refcounts entirelyKartik Agaram2018-05-121-1/+1
| | | | | | | | | We're going to lean back into the experiment of commit 4179 back in Jan. If we delete memory it's up to us to ensure no pointers into it survive. Since deep-copy depends on our refcounting infrastructure, it's gone as well. So we're going to have to start watching out for pointers shared over channels.
* 4117 - done with delimited continuationsKartik K. Agaram2017-11-061-1/+1
| | | | | At least this particular implementation of them. Let's play with them now for a while, see if they're fully equivalent to shift/reduce.
* 4114Kartik K. Agaram2017-11-051-59/+39
|
* 4077Kartik K. Agaram2017-10-171-1/+1
| | | | | Stop hyperlinking every `i` in subx html files to the integer register union.
* 4052Kartik K. Agaram2017-10-121-0/+14
|
* 3983Kartik K. Agaram2017-08-221-1/+1
|
* 3961Kartik K. Agaram2017-06-251-28/+39
| | | | | | | | | Expand the steps in `update_html` and try to process each set of files separately so we can see commonality. The eventual goal is a script that can selectively process a subset of files. But this is a good first step: I can at least easily comment out different subsets.
* 3764 - better colors for cross-linksKartik K. Agaram2017-03-081-5/+9
|
* 3725Kartik K. Agaram2016-12-271-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.
* 3720Kartik K. Agaram2016-12-271-1/+3
|
* 3716Kartik K. Agaram2016-12-261-2/+4
| | | | Make hyperlinks less salient in the rendered html since there's so many of them.
* 3715Kartik K. Agaram2016-12-261-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 htmlKartik K. Agaram2016-12-261-0/+15
|
* 3710Kartik K. Agaram2016-12-261-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 htmlKartik K. Agaram2016-12-261-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.
* 3687Kartik K. Agaram2016-11-251-7/+6
|
* 3559Kartik K. Agaram2016-10-221-2/+11
|
* 3544Kartik K. Agaram2016-10-221-1/+1
|
* 3542Kartik K. Agaram2016-10-221-1/+1
| | | | | Keep color of control flow keywords from bleeding into that of function headers.
* 3496Kartik K. Agaram2016-10-111-2/+2
|
* 3490Kartik K. Agaram2016-10-091-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.
* 2745Kartik K. Agaram2016-03-091-0/+1
|
* 2744Kartik K. Agaram2016-03-091-2/+5
| | | | Tweak colors and font-sizes in generated html.
* 2743Kartik K. Agaram2016-03-091-2/+2
| | | | | Looks like "TOhtml | <other command>" doesn't work on Mac OS X for some reason..
* 2177Kartik K. Agaram2015-09-071-12/+20
|
* 1885Kartik K. Agaram2015-07-291-7/+7
|
* 1690Kartik K. Agaram2015-07-011-1/+1
|
* 1632Kartik K. Agaram2015-06-231-4/+4
|
* 1631 - update html versionsKartik K. Agaram2015-06-231-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.
* 1517Kartik K. Agaram2015-05-301-0/+10