Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 3901 | Kartik K. Agaram | 2017-06-09 | 1 | -2/+2 |
| | |||||
* | 3895 | Kartik K. Agaram | 2017-05-29 | 1 | -34/+34 |
| | |||||
* | 3883 | Kartik K. Agaram | 2017-05-27 | 1 | -62/+75 |
| | |||||
* | 3837 | Kartik K. Agaram | 2017-04-19 | 1 | -2/+2 |
| | |||||
* | 3830 - crosslink shape-shifting containers in html | Kartik K. Agaram | 2017-04-18 | 1 | -73/+73 |
| | |||||
* | 3829 | Kartik K. Agaram | 2017-04-18 | 1 | -5/+5 |
| | |||||
* | 3808 - 'length' for duplex lists | Kartik K. Agaram | 2017-03-31 | 1 | -295/+298 |
| | |||||
* | 3764 - better colors for cross-links | Kartik K. Agaram | 2017-03-08 | 1 | -3/+4 |
| | |||||
* | 3761 | Kartik K. Agaram | 2017-03-07 | 1 | -128/+129 |
| | |||||
* | 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 | -50/+50 |
| | |||||
* | 3710 | Kartik K. Agaram | 2016-12-26 | 1 | -351/+351 |
| | | | | | 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 | -354/+378 |
| | | | | | | 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. | ||||
* | 3667 | Kartik K. Agaram | 2016-11-11 | 1 | -2/+2 |
| | |||||
* | 3569 | Kartik K. Agaram | 2016-10-23 | 1 | -160/+160 |
| | | | | Update syntax highlighting to not color numeric locations like literals. | ||||
* | 3524 | Kartik K. Agaram | 2016-10-20 | 1 | -4/+5 |
| | |||||
* | 3431 | Kartik K. Agaram | 2016-09-30 | 1 | -5/+5 |
| | | | | | Improvements to syntax highlighting, particularly for Mu code in C++ files. | ||||
* | 3430 | Kartik K. Agaram | 2016-09-28 | 1 | -34/+45 |
| | |||||
* | 3420 | Kartik K. Agaram | 2016-09-27 | 1 | -0/+28 |
| | |||||
* | 3395 | Kartik K. Agaram | 2016-09-17 | 1 | -66/+66 |
| | |||||
* | 3355 | Kartik K. Agaram | 2016-09-15 | 1 | -2/+2 |
| | |||||
* | 3102 | Kartik K. Agaram | 2016-07-05 | 1 | -0/+349 |