Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 3971 | Kartik K. Agaram | 2017-08-19 | 1 | -2/+2 |
| | |||||
* | 3927 | Kartik K. Agaram | 2017-06-19 | 1 | -7/+7 |
| | |||||
* | 3897 - various updates to documentation | Kartik K. Agaram | 2017-05-29 | 1 | -214/+217 |
| | |||||
* | 3764 - better colors for cross-links | Kartik K. Agaram | 2017-03-08 | 1 | -4/+5 |
| | |||||
* | 3761 | Kartik K. Agaram | 2017-03-07 | 1 | -50/+51 |
| | |||||
* | 3751 | Kartik K. Agaram | 2017-03-02 | 1 | -2/+2 |
| | | | | Some hacky manual fixes to auto-generated html. | ||||
* | 3750 | Kartik K. Agaram | 2017-03-02 | 1 | -8/+8 |
| | |||||
* | 3749 | Kartik K. Agaram | 2017-03-02 | 1 | -8/+8 |
| | |||||
* | 3716 | Kartik K. Agaram | 2016-12-26 | 1 | -0/+2 |
| | | | | Make hyperlinks less salient in the rendered html since there's so many of them. | ||||
* | 3713 - cross-link calls with definitions in html | Kartik K. Agaram | 2016-12-26 | 1 | -24/+24 |
| | |||||
* | 3710 | Kartik K. Agaram | 2016-12-26 | 1 | -255/+255 |
| | | | | | 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 | -258/+282 |
| | | | | | | 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. | ||||
* | 3707 | Kartik K. Agaram | 2016-12-12 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | | | Be more disciplined about tagging 2 different concepts in the codebase: a) Use the phrase "later layers" to highlight places where a layer doesn't have the simplest possible self-contained implementation. b) Use the word "hook" to point out functions that exist purely to provide waypoints for extension by future layers. Since both these only make sense in the pre-tangled representation of the codebase, using '//:' and '#:' comments to get them stripped out of tangled output. (Though '#:' comments still make it to tangled output at the moment. Let's see if we use it enough to be worth supporting. Scenarios are pretty unreadable in tangled output anyway.) | ||||
* | 3642 | Kartik K. Agaram | 2016-11-06 | 1 | -0/+6 |
| | |||||
* | 3558 | Kartik K. Agaram | 2016-10-22 | 1 | -2/+2 |
| | |||||
* | 3544 | Kartik K. Agaram | 2016-10-22 | 1 | -1/+1 |
| | |||||
* | 3543 | Kartik K. Agaram | 2016-10-22 | 1 | -1/+1 |
| | |||||
* | 3524 | Kartik K. Agaram | 2016-10-20 | 1 | -2/+2 |
| | |||||
* | 3416 | Kartik K. Agaram | 2016-09-25 | 1 | -1/+4 |
| | |||||
* | 3315 | Kartik K. Agaram | 2016-09-10 | 1 | -2/+3 |
| | |||||
* | 3235 | Kartik K. Agaram | 2016-08-20 | 1 | -1/+1 |
| | |||||
* | 3174 | Kartik K. Agaram | 2016-08-12 | 1 | -25/+45 |
| | |||||
* | 3158 | Kartik K. Agaram | 2016-07-27 | 1 | -0/+12 |
| | |||||
* | 3102 | Kartik K. Agaram | 2016-07-05 | 1 | -10/+75 |
| | |||||
* | 2996 | Kartik K. Agaram | 2016-05-21 | 1 | -5/+8 |
| | |||||
* | 2812 | Kartik K. Agaram | 2016-03-27 | 1 | -12/+26 |
| | |||||
* | 2744 | Kartik K. Agaram | 2016-03-09 | 1 | -4/+4 |
| | | | | Tweak colors and font-sizes in generated html. | ||||
* | 2743 | Kartik K. Agaram | 2016-03-09 | 1 | -35/+27 |
| | | | | | Looks like "TOhtml | <other command>" doesn't work on Mac OS X for some reason.. | ||||
* | 2706 - update html | Kartik K. Agaram | 2016-02-25 | 1 | -0/+1 |
| | |||||
* | 2611 | Kartik K. Agaram | 2015-11-29 | 1 | -0/+10 |
| | |||||
* | 2423 - describe shape-shifting in html docs | Kartik K. Agaram | 2015-11-10 | 1 | -53/+84 |
| | |||||
* | 2062 | Kartik K. Agaram | 2015-08-23 | 1 | -13/+12 |
| | |||||
* | 1949 | Kartik K. Agaram | 2015-08-06 | 1 | -12/+13 |
| | |||||
* | 1925 | Kartik K. Agaram | 2015-08-03 | 1 | -1/+1 |
| | |||||
* | 1885 | Kartik K. Agaram | 2015-07-29 | 1 | -13/+12 |
| | |||||
* | 1853 | Kartik K. Agaram | 2015-07-25 | 1 | -12/+13 |
| | |||||
* | 1631 - update html versions | Kartik K. Agaram | 2015-06-23 | 1 | -4/+4 |
| | | | | | | 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. | ||||
* | 1556 | Kartik K. Agaram | 2015-06-12 | 1 | -1/+1 |
| | |||||
* | 1549 | Kartik K. Agaram | 2015-06-09 | 1 | -2/+2 |
| | |||||
* | 1517 | Kartik K. Agaram | 2015-05-30 | 1 | -2/+2 |
| | |||||
* | 1461 - descriptions/table of contents for the layers | Kartik K. Agaram | 2015-05-26 | 1 | -1/+1 |
| | |||||
* | 1459 | Kartik K. Agaram | 2015-05-25 | 1 | -6/+55 |
| | |||||
* | 1376 - update github docs | Kartik K. Agaram | 2015-05-14 | 1 | -1/+1 |
| | |||||
* | 1291 | Kartik K. Agaram | 2015-05-06 | 1 | -1/+1 |
| | |||||
* | 1279 - colorized rendering of the source files | Kartik K. Agaram | 2015-05-06 | 1 | -0/+87 |