| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 4134 - 'input' = 'ingredient' | Kartik K. Agaram | 2017-12-03 | 1 | -1/+1 |
| * | 3927 | Kartik K. Agaram | 2017-06-19 | 1 | -2/+2 |
| * | 3897 - various updates to documentation | Kartik K. Agaram | 2017-05-29 | 1 | -27/+27 |
| * | 3867 | Kartik K. Agaram | 2017-05-19 | 1 | -418/+412 |
| * | 3855 | Kartik K. Agaram | 2017-05-13 | 1 | -262/+272 |
| * | 3825 | Kartik K. Agaram | 2017-04-16 | 1 | -272/+262 |
| * | 3800 | Kartik K. Agaram | 2017-03-18 | 1 | -449/+469 |
| * | 3798 - trace-browser: make search like in vi | Kartik K. Agaram | 2017-03-15 | 1 | -439/+460 |
| * | 3785 | Kartik K. Agaram | 2017-03-10 | 1 | -104/+106 |
| * | 3784 | Kartik K. Agaram | 2017-03-10 | 1 | -317/+487 |
| * | 3770 | Kartik K. Agaram | 2017-03-08 | 1 | -194/+199 |
| * | 3769 | Kartik K. Agaram | 2017-03-08 | 1 | -272/+280 |
| * | 3768 - trace browser: scrolling horizontally | Kartik K. Agaram | 2017-03-08 | 1 | -263/+273 |
| * | 3767 | Kartik K. Agaram | 2017-03-08 | 1 | -251/+257 |
| * | 3766 | Kartik K. Agaram | 2017-03-08 | 1 | -6/+6 |
| * | 3765 | Kartik K. Agaram | 2017-03-08 | 1 | -4/+4 |
| * | 3764 - better colors for cross-links | Kartik K. Agaram | 2017-03-08 | 1 | -4/+5 |
| * | 3763 | Kartik K. Agaram | 2017-03-07 | 1 | -252/+251 |
| * | 3761 | Kartik K. Agaram | 2017-03-07 | 1 | -158/+159 |
| * | 3759 - make current line more salient | Kartik K. Agaram | 2017-03-06 | 1 | -37/+36 |
| * | 3757 - more permissive trace browser UI | Kartik K. Agaram | 2017-03-06 | 1 | -175/+181 |
| * | 3756 - start of some improvements to the trace browser | Kartik K. Agaram | 2017-03-05 | 1 | -247/+286 |
| * | 3750 | Kartik K. Agaram | 2017-03-02 | 1 | -2/+2 |
| * | 3749 | Kartik K. Agaram | 2017-03-02 | 1 | -2/+2 |
| * | 3716 | Kartik K. Agaram | 2016-12-26 | 1 | -0/+2 |
| * | 3713 - cross-link calls with definitions in html | Kartik K. Agaram | 2016-12-26 | 1 | -37/+37 |
| * | 3710 | Kartik K. Agaram | 2016-12-26 | 1 | -249/+249 |
| * | 3709 - line numbers in html | Kartik K. Agaram | 2016-12-26 | 1 | -252/+276 |
| * | 3682 | Kartik K. Agaram | 2016-11-22 | 1 | -4/+4 |
| * | 3544 | Kartik K. Agaram | 2016-10-22 | 1 | -1/+1 |
| * | 3543 | Kartik K. Agaram | 2016-10-22 | 1 | -1/+1 |
| * | 3235 | Kartik K. Agaram | 2016-08-20 | 1 | -0/+285 |