about summary refs log tree commit diff stats
path: root/html/003trace.cc.html
Commit message (Collapse)AuthorAgeFilesLines
* 6084Kartik Agaram2020-03-061-2/+2
|
* 5893Kartik Agaram2020-01-141-87/+88
|
* 5806Kartik Agaram2019-12-091-327/+329
|
* 5490Kartik Agaram2019-07-271-15/+15
|
* 5485 - promote SubX to top-levelKartik Agaram2019-07-271-426/+511
|
* 4891Kartik Agaram2018-12-301-0/+1
| | | | | | | | | | | Couple more tweaks to html rendering: a) SubX definitions no longer link redundantly to themselves. This long-standing issue turns out to be tractable to solve for SubX files since the syntax is so simple. b) Fix links to SubX definitions in other directories. I forgot that I have to always generate tags from the directory of the file being linkified. c) Fix link colors. Before we lost all syntax highlighting for functions and Globals. Now they maintain their colors, just add an underline.
* 4890 - new html renderingsKartik Agaram2018-12-291-15/+10
| | | | | | | a) Switch to a light background. b) Linkify calls in .subx files. c) Keep all colorization in the Vim colorscheme, get rid of hacky special-cases in update_html.
* 4814Kartik Agaram2018-12-011-66/+70
|
* 4709Kartik Agaram2018-10-171-276/+275
|
* 4588Kartik Agaram2018-09-221-186/+190
|
* 4539Kartik Agaram2018-09-071-4/+4
|
* 4447Kartik Agaram2018-07-271-329/+348
|
* 4239Kartik Agaram2018-05-081-10/+10
|
* 4199Kartik K. Agaram2018-01-251-65/+64
|
* 4161Kartik K. Agaram2017-12-151-9/+9
|
* 4155Kartik K. Agaram2017-12-071-288/+290
|
* 4134 - 'input' = 'ingredient'Kartik K. Agaram2017-12-031-1/+1
|
* 4102Kartik K. Agaram2017-11-011-25/+24
|
* 3971Kartik K. Agaram2017-08-191-1/+1
|
* 3927Kartik K. Agaram2017-06-191-216/+228
|
* 3897 - various updates to documentationKartik K. Agaram2017-05-291-6/+6
|
* 3764 - better colors for cross-linksKartik K. Agaram2017-03-081-4/+5
|
* 3761Kartik K. Agaram2017-03-071-63/+64
|
* 3751Kartik K. Agaram2017-03-021-2/+2
| | | | Some hacky manual fixes to auto-generated html.
* 3750Kartik K. Agaram2017-03-021-373/+365
|
* 3749Kartik K. Agaram2017-03-021-407/+405
|
* 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-56/+56
|
* 3710Kartik K. Agaram2016-12-261-411/+411
| | | | | 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-414/+438
| | | | | | 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.
* 3679Kartik K. Agaram2016-11-171-4/+8
|
* 3667Kartik K. Agaram2016-11-111-0/+3
|
* 3627 - selective dumping a single labelKartik K. Agaram2016-11-051-1/+5
| | | | Follow-up to commit 3516.
* 3561Kartik K. Agaram2016-10-221-2/+3
|
* 3544Kartik K. Agaram2016-10-221-1/+1
|
* 3543Kartik K. Agaram2016-10-221-5/+1
|
* 3524Kartik K. Agaram2016-10-201-6/+8
|
* 3371Kartik K. Agaram2016-09-161-4/+5
|
* 3315Kartik K. Agaram2016-09-101-79/+85
|
* 3266Kartik K. Agaram2016-08-271-1/+2
|
* 3219Kartik K. Agaram2016-08-171-0/+12
| | | | | | | | 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.
* 3102Kartik K. Agaram2016-07-051-25/+30
|
* 2996Kartik K. Agaram2016-05-211-0/+3
|
* 2812Kartik K. Agaram2016-03-271-12/+21
|
* 2744Kartik K. Agaram2016-03-091-4/+4
| | | | Tweak colors and font-sizes in generated html.
* 2743Kartik K. Agaram2016-03-091-97/+89
| | | | | Looks like "TOhtml | <other command>" doesn't work on Mac OS X for some reason..
* 2706 - update htmlKartik K. Agaram2016-02-251-20/+15
|
* 2605Kartik K. Agaram2016-01-261-1/+11
|
* 2611Kartik K. Agaram2015-11-291-4/+2
|
* 2423 - describe shape-shifting in html docsKartik K. Agaram2015-11-101-74/+77
|