| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 3934 | Kartik K. Agaram | 2017-06-20 | 1 | -8/+8 |
| | | |||||
| * | 3830 - crosslink shape-shifting containers in html | Kartik K. Agaram | 2017-04-18 | 1 | -17/+17 |
| | | |||||
| * | 3764 - better colors for cross-links | Kartik K. Agaram | 2017-03-08 | 1 | -3/+4 |
| | | |||||
| * | 3761 | Kartik K. Agaram | 2017-03-07 | 1 | -22/+23 |
| | | |||||
| * | 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 | -18/+18 |
| | | |||||
| * | 3710 | Kartik K. Agaram | 2016-12-26 | 1 | -99/+99 |
| | | | | | | 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 | -102/+126 |
| | | | | | | | 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 | -17/+0 |
| | | |||||
| * | 3704 | Kartik K. Agaram | 2016-12-11 | 1 | -1/+20 |
| | | | | | | | | Bugfix: writing to a new file in a non-empty fake file system. The one time I try to get a little clever, it bites me in the ass. That'll teach me.. | ||||
| * | 3569 | Kartik K. Agaram | 2016-10-23 | 1 | -41/+41 |
| | | | | | Update syntax highlighting to not color numeric locations like literals. | ||||
| * | 3524 | Kartik K. Agaram | 2016-10-20 | 1 | -14/+14 |
| | | |||||
| * | 3431 | Kartik K. Agaram | 2016-09-30 | 1 | -3/+3 |
| | | | | | | Improvements to syntax highlighting, particularly for Mu code in C++ files. | ||||
| * | 3395 | Kartik K. Agaram | 2016-09-17 | 1 | -17/+17 |
| | | |||||
| * | 3355 | Kartik K. Agaram | 2016-09-15 | 1 | -5/+5 |
| | | |||||
| * | 3266 | Kartik K. Agaram | 2016-08-27 | 1 | -0/+74 |
| | | |||||
| * | 3235 | Kartik K. Agaram | 2016-08-20 | 1 | -0/+57 |