about summary refs log tree commit diff stats
path: root/html/061text.mu.html
Commit message (Collapse)AuthorAgeFilesLines
* 3787Kartik K. Agaram2017-03-121-6/+6
|
* 3764 - better colors for cross-linksKartik K. Agaram2017-03-081-3/+4
|
* 3761Kartik K. Agaram2017-03-071-464/+465
|
* 3716Kartik K. Agaram2016-12-261-0/+2
| | | | Make hyperlinks less salient in the rendered html since there's so many of them.
* 3713 - cross-link calls with definitions in htmlKartik K. Agaram2016-12-261-76/+76
|
* 3710Kartik K. Agaram2016-12-261-1419/+1419
| | | | | 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 htmlKartik K. Agaram2016-12-261-1422/+1446
| | | | | | 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.
* 3699Kartik K. Agaram2016-11-281-1/+1
| | | | | Delete some obsolete /same-as-ingredient attributes. We should always let Mu deduce those at this point.
* 3688Kartik K. Agaram2016-11-251-0/+1
| | | | | | | Move my todos over the past couple of years into the codebase now that it might be going dormant. Surprising how few todos left undone!
* 3683Kartik K. Agaram2016-11-231-0/+26
|
* 3674Kartik K. Agaram2016-11-131-1/+1
|
* 3673Kartik K. Agaram2016-11-131-0/+83
|
* 3569Kartik K. Agaram2016-10-231-515/+515
| | | | Update syntax highlighting to not color numeric locations like literals.
* 3568Kartik K. Agaram2016-10-231-1/+1
| | | | Fix syntax highlighting for labels after commit 3552.
* 3558Kartik K. Agaram2016-10-221-1/+1
|
* 3431Kartik K. Agaram2016-09-301-6/+6
| | | | | Improvements to syntax highlighting, particularly for Mu code in C++ files.
* 3430Kartik K. Agaram2016-09-281-160/+184
|
* 3395Kartik K. Agaram2016-09-171-203/+203
|
* 3371Kartik K. Agaram2016-09-161-41/+58
|
* 3355Kartik K. Agaram2016-09-151-152/+137
|
* 3219Kartik K. Agaram2016-08-171-0/+14
| | | | | | | | Trying keeping html in the master branch: https://github.com/blog/2228-simpler-github-pages-publishing Let's see if https://akkartik.github.io/mu updates after I push this commit to just the master branch.
* 3158Kartik K. Agaram2016-07-271-2/+2
|
* 3102Kartik K. Agaram2016-07-051-0/+1307