Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 4891 | Kartik Agaram | 2018-12-30 | 1 | -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 renderings | Kartik Agaram | 2018-12-29 | 1 | -18/+13 |
| | | | | | | | 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. | ||||
* | 4814 | Kartik Agaram | 2018-12-01 | 1 | -59/+62 |
| | |||||
* | 4709 | Kartik Agaram | 2018-10-17 | 1 | -18/+18 |
| | |||||
* | 4588 | Kartik Agaram | 2018-09-22 | 1 | -1/+1 |
| | |||||
* | 4539 | Kartik Agaram | 2018-09-07 | 1 | -7/+7 |
| | |||||
* | 4447 | Kartik Agaram | 2018-07-27 | 1 | -379/+382 |
| | |||||
* | 4243 | Kartik Agaram | 2018-05-12 | 1 | -2/+2 |
| | |||||
* | 4239 | Kartik Agaram | 2018-05-08 | 1 | -7/+7 |
| | |||||
* | 4228 | Kartik K. Agaram | 2018-03-15 | 1 | -1/+1 |
| | |||||
* | 4209 | Kartik K. Agaram | 2018-02-18 | 1 | -202/+211 |
| | |||||
* | 4199 | Kartik K. Agaram | 2018-01-25 | 1 | -106/+105 |
| | |||||
* | 4161 | Kartik K. Agaram | 2017-12-15 | 1 | -7/+7 |
| | |||||
* | 4155 | Kartik K. Agaram | 2017-12-07 | 1 | -299/+304 |
| | |||||
* | 4134 - 'input' = 'ingredient' | Kartik K. Agaram | 2017-12-03 | 1 | -5/+5 |
| | |||||
* | 4117 - done with delimited continuations | Kartik K. Agaram | 2017-11-06 | 1 | -417/+419 |
| | | | | | At least this particular implementation of them. Let's play with them now for a while, see if they're fully equivalent to shift/reduce. | ||||
* | 4109 | Kartik K. Agaram | 2017-11-05 | 1 | -2/+2 |
| | |||||
* | 4102 | Kartik K. Agaram | 2017-11-01 | 1 | -385/+383 |
| | |||||
* | 3995 | Kartik K. Agaram | 2017-09-13 | 1 | -4/+4 |
| | |||||
* | 3990 | Kartik K. Agaram | 2017-09-03 | 1 | -1/+1 |
| | |||||
* | 3971 | Kartik K. Agaram | 2017-08-19 | 1 | -271/+270 |
| | |||||
* | 3927 | Kartik K. Agaram | 2017-06-19 | 1 | -291/+292 |
| | |||||
* | 3900 | Kartik K. Agaram | 2017-06-02 | 1 | -17/+17 |
| | |||||
* | 3897 - various updates to documentation | Kartik K. Agaram | 2017-05-29 | 1 | -17/+17 |
| | |||||
* | 3895 | Kartik K. Agaram | 2017-05-29 | 1 | -395/+430 |
| | |||||
* | 3877 | Kartik K. Agaram | 2017-05-26 | 1 | -3/+3 |
| | |||||
* | 3872 | Kartik K. Agaram | 2017-05-20 | 1 | -260/+261 |
| | | | | Starting to look for lack of organization in the edit/ app. | ||||
* | 3845 | Kartik K. Agaram | 2017-05-06 | 1 | -3/+3 |
| | |||||
* | 3823 | Kartik K. Agaram | 2017-04-14 | 1 | -336/+337 |
| | |||||
* | 3820 | Kartik K. Agaram | 2017-04-13 | 1 | -369/+373 |
| | |||||
* | 3811 | Kartik K. Agaram | 2017-04-04 | 1 | -1/+1 |
| | |||||
* | 3764 - better colors for cross-links | Kartik K. Agaram | 2017-03-08 | 1 | -4/+5 |
| | |||||
* | 3761 | Kartik K. Agaram | 2017-03-07 | 1 | -89/+90 |
| | |||||
* | 3758 | Kartik K. Agaram | 2017-03-06 | 1 | -204/+205 |
| | |||||
* | 3756 - start of some improvements to the trace browser | Kartik K. Agaram | 2017-03-05 | 1 | -1/+1 |
| | |||||
* | 3750 | Kartik K. Agaram | 2017-03-02 | 1 | -19/+19 |
| | |||||
* | 3749 | Kartik K. Agaram | 2017-03-02 | 1 | -19/+19 |
| | |||||
* | 3746 | Kartik K. Agaram | 2017-02-07 | 1 | -1/+1 |
| | |||||
* | 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 | -57/+57 |
| | |||||
* | 3710 | Kartik K. Agaram | 2016-12-26 | 1 | -443/+443 |
| | | | | | 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 | -445/+469 |
| | | | | | | 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. | ||||
* | 3707 | Kartik K. Agaram | 2016-12-12 | 1 | -3/+9 |
| | | | | | | | | | | | | | | | | | | Be more disciplined about tagging 2 different concepts in the codebase: a) Use the phrase "later layers" to highlight places where a layer doesn't have the simplest possible self-contained implementation. b) Use the word "hook" to point out functions that exist purely to provide waypoints for extension by future layers. Since both these only make sense in the pre-tangled representation of the codebase, using '//:' and '#:' comments to get them stripped out of tangled output. (Though '#:' comments still make it to tangled output at the moment. Let's see if we use it enough to be worth supporting. Scenarios are pretty unreadable in tangled output anyway.) | ||||
* | 3703 | Kartik K. Agaram | 2016-12-06 | 1 | -0/+1 |
| | |||||
* | 3682 | Kartik K. Agaram | 2016-11-22 | 1 | -3/+5 |
| | | | | | Clean up the flow of "mu --trace" followed by "mu browse-trace interactive". | ||||
* | 3679 | Kartik K. Agaram | 2016-11-17 | 1 | -2/+2 |
| | |||||
* | 3667 | Kartik K. Agaram | 2016-11-11 | 1 | -3/+16 |
| | |||||
* | 3642 | Kartik K. Agaram | 2016-11-06 | 1 | -3/+3 |
| | |||||
* | 3604 | Kartik K. Agaram | 2016-10-27 | 1 | -0/+3 |
| | |||||
* | 3561 | Kartik K. Agaram | 2016-10-22 | 1 | -4/+4 |
| |