| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 5485 - promote SubX to top-level | Kartik Agaram | 2019-07-27 | 1 | -360/+0 |
| | | |||||
| * | . | Kartik Agaram | 2019-07-14 | 1 | -5/+5 |
| | | |||||
| * | 5211 | Kartik Agaram | 2019-05-20 | 1 | -223/+222 |
| | | | | | Update syntax-highlighted renderings after a _long_ time. | ||||
| * | 5033 | Kartik Agaram | 2019-03-29 | 1 | -25/+26 |
| | | |||||
| * | 4989 | Kartik Agaram | 2019-02-25 | 1 | -2/+2 |
| | | |||||
| * | 4982 | Kartik Agaram | 2019-02-18 | 1 | -5/+5 |
| | | |||||
| * | 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 | -16/+11 |
| | | | | | | | | 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. | ||||
| * | 4869 | Kartik Agaram | 2018-12-16 | 1 | -209/+218 |
| | | |||||
| * | 4814 | Kartik Agaram | 2018-12-01 | 1 | -11/+14 |
| | | |||||
| * | 4782 | Kartik Agaram | 2018-11-26 | 1 | -44/+45 |
| | | |||||
| * | 4734 | Kartik Agaram | 2018-10-28 | 1 | -33/+33 |
| | | |||||
| * | 4724 | Kartik Agaram | 2018-10-24 | 1 | -33/+33 |
| | | |||||
| * | 4709 | Kartik Agaram | 2018-10-17 | 1 | -32/+37 |
| | | |||||
| * | 4649 | Kartik Agaram | 2018-10-02 | 1 | -10/+10 |
| | | |||||
| * | 4520 | Kartik Agaram | 2018-09-26 | 1 | -9/+9 |
| | | |||||
| * | 4588 | Kartik Agaram | 2018-09-22 | 1 | -6/+6 |
| | | |||||
| * | 4539 | Kartik Agaram | 2018-09-07 | 1 | -11/+10 |
| | | |||||
| * | 4521 | Kartik Agaram | 2018-08-13 | 1 | -10/+10 |
| | | |||||
| * | 4478 | Kartik Agaram | 2018-08-04 | 1 | -16/+16 |
| | | |||||
| * | 4447 | Kartik Agaram | 2018-07-27 | 1 | -202/+275 |
| | | |||||
| * | 4239 | Kartik Agaram | 2018-05-08 | 1 | -11/+11 |
| | | |||||
| * | 4199 | Kartik K. Agaram | 2018-01-25 | 1 | -21/+20 |
| | | |||||
| * | 4161 | Kartik K. Agaram | 2017-12-15 | 1 | -12/+12 |
| | | |||||
| * | 4064 | Kartik K. Agaram | 2017-10-14 | 1 | -2/+2 |
| | | |||||
| * | 4063 | Kartik K. Agaram | 2017-10-14 | 1 | -2/+2 |
| | | |||||
| * | 4054 | Kartik K. Agaram | 2017-10-12 | 1 | -18/+18 |
| | | |||||
| * | 4052 | Kartik K. Agaram | 2017-10-12 | 1 | -0/+275 |