| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 3934 | Kartik K. Agaram | 2017-06-20 | 1 | -4/+4 |
| | | |||||
| * | 3927 | Kartik K. Agaram | 2017-06-19 | 1 | -3/+3 |
| | | |||||
| * | 3901 | Kartik K. Agaram | 2017-06-09 | 1 | -3/+3 |
| | | |||||
| * | 3837 | Kartik K. Agaram | 2017-04-19 | 1 | -3/+3 |
| | | |||||
| * | 3830 - crosslink shape-shifting containers in html | Kartik K. Agaram | 2017-04-18 | 1 | -14/+14 |
| | | |||||
| * | 3829 | Kartik K. Agaram | 2017-04-18 | 1 | -4/+4 |
| | | |||||
| * | 3764 - better colors for cross-links | Kartik K. Agaram | 2017-03-08 | 1 | -3/+4 |
| | | |||||
| * | 3761 | Kartik K. Agaram | 2017-03-07 | 1 | -48/+49 |
| | | |||||
| * | 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 | -31/+31 |
| | | |||||
| * | 3710 | Kartik K. Agaram | 2016-12-26 | 1 | -177/+177 |
| | | | | | | 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 | -180/+204 |
| | | | | | | | 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. | ||||
| * | 3705 - switch to tested file-system primitives | Kartik K. Agaram | 2016-12-11 | 1 | -1/+1 |
| | | |||||
| * | 3667 | Kartik K. Agaram | 2016-11-11 | 1 | -1/+1 |
| | | |||||
| * | 3604 | Kartik K. Agaram | 2016-10-27 | 1 | -18/+20 |
| | | |||||
| * | 3578 | Kartik K. Agaram | 2016-10-23 | 1 | -134/+78 |
| | | |||||
| * | 3569 | Kartik K. Agaram | 2016-10-23 | 1 | -65/+65 |
| | | | | | Update syntax highlighting to not color numeric locations like literals. | ||||
| * | 3567 | Kartik K. Agaram | 2016-10-23 | 1 | -1/+34 |
| | | |||||
| * | 3562 | Kartik K. Agaram | 2016-10-22 | 1 | -125/+105 |
| | | | | | Fix CI. Revert accidentally-added files. | ||||
| * | 3561 | Kartik K. Agaram | 2016-10-22 | 1 | -105/+125 |
| | | |||||
| * | 3543 | Kartik K. Agaram | 2016-10-22 | 1 | -2/+2 |
| | | |||||
| * | 3524 | Kartik K. Agaram | 2016-10-20 | 1 | -4/+85 |
| | | |||||
| * | 3491 | Kartik K. Agaram | 2016-10-09 | 1 | -0/+155 |
| Update the html, proving that commit 3490 worked. The only changes are from other recent commits. | |||||