| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| | |
|
| |
|
|
|
|
|
|
|
| |
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.
|
| |
|
|
|
| |
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.
|
| | |
|
| |
|
|
|
| |
Stop hyperlinking every `i` in subx html files to the integer register
union.
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
|
| |
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.
|
| | |
|
| |
|
|
|
|
| |
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.
|
| | |
|
| |
|
|
| |
Make hyperlinks less salient in the rendered html since there's so many of them.
|
| |
|
|
|
|
|
|
| |
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.
|
| | |
|
| |
|
|
|
| |
Turns out we don't need to explicitly add anchors for each line. Vim's TOhtml
has magic for that out of the box.
|
| |
|
|
|
|
| |
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.
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
| |
Keep color of control flow keywords from bleeding into that of function
headers.
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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.
|
| | |
|
| |
|
|
| |
Tweak colors and font-sizes in generated html.
|
| |
|
|
|
| |
Looks like "TOhtml | <other command>" doesn't work on Mac OS X for some
reason..
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
| |
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.
|
| |
|