| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 3901 | Kartik K. Agaram | 2017-06-09 | 1 | -1/+1 |
| | | |||||
| * | 3867 | Kartik K. Agaram | 2017-05-19 | 1 | -5/+6 |
| | | |||||
| * | 3837 | Kartik K. Agaram | 2017-04-19 | 1 | -1/+1 |
| | | |||||
| * | 3831 | Kartik K. Agaram | 2017-04-18 | 1 | -1/+1 |
| | | | | | Fix CI. | ||||
| * | 3830 - crosslink shape-shifting containers in html | Kartik K. Agaram | 2017-04-18 | 1 | -2/+2 |
| | | |||||
| * | 3829 | Kartik K. Agaram | 2017-04-18 | 1 | -2/+2 |
| | | |||||
| * | 3764 - better colors for cross-links | Kartik K. Agaram | 2017-03-08 | 1 | -3/+4 |
| | | |||||
| * | 3761 | Kartik K. Agaram | 2017-03-07 | 1 | -8/+9 |
| | | |||||
| * | 3725 | Kartik K. Agaram | 2016-12-27 | 1 | -1/+1 |
| | | | | | | | 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. | ||||
| * | 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 | -3/+3 |
| | | |||||
| * | 3710 | Kartik K. Agaram | 2016-12-26 | 1 | -21/+21 |
| | | | | | | 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 | -24/+48 |
| | | | | | | | 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. | ||||
| * | 3604 | Kartik K. Agaram | 2016-10-27 | 1 | -3/+0 |
| | | |||||
| * | 3569 | Kartik K. Agaram | 2016-10-23 | 1 | -8/+8 |
| | | | | | Update syntax highlighting to not color numeric locations like literals. | ||||
| * | 3567 | Kartik K. Agaram | 2016-10-23 | 1 | -1/+1 |
| | | |||||
| * | 3543 | Kartik K. Agaram | 2016-10-22 | 1 | -3/+3 |
| | | |||||
| * | 3525 | Kartik K. Agaram | 2016-10-20 | 1 | -3/+3 |
| | | |||||
| * | 3524 | Kartik K. Agaram | 2016-10-20 | 1 | -0/+60 |