about summary refs log tree commit diff stats
path: root/html/subx/examples
Commit message (Collapse)AuthorAgeFilesLines
* 5033Kartik Agaram2019-03-292-3/+3
|
* 4982Kartik Agaram2019-02-187-47/+51
|
* 4967Kartik Agaram2019-02-144-352/+359
|
* 4923Kartik Agaram2019-01-121-1/+1
| | | | | We want slice-equal? for length-prefixed strings, not null-terminated "kernel" strings.
* 4899Kartik Agaram2018-12-308-24/+24
| | | | Bug in my linkify tool introduced in commit 4891.
* 4895Kartik Agaram2018-12-3012-24/+24
|
* 4891Kartik Agaram2018-12-3012-70/+82
| | | | | | | | | | | 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-2912-280/+220
| | | | | | | 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.
* 4880Kartik Agaram2018-12-288-11/+10
|
* 4869Kartik Agaram2018-12-161-1/+1
|
* 4847Kartik Agaram2018-12-064-4/+4
|
* 4824Kartik Agaram2018-12-032-9/+9
|
* 4819Kartik Agaram2018-12-021-3/+3
|
* 4818Kartik Agaram2018-12-021-2/+2
|
* 4817Kartik Agaram2018-12-021-1/+1
|
* 4816Kartik Agaram2018-12-025-28/+36
|
* 4814Kartik Agaram2018-12-0112-0/+12
|
* 4811Kartik Agaram2018-11-305-38/+38
|
* 4809 - subx: html with 5 colors for commentsKartik Agaram2018-11-3012-739/+801
|
* 4796Kartik Agaram2018-11-3012-547/+524
|
* 4782Kartik Agaram2018-11-2610-514/+530
|
* 4734Kartik Agaram2018-10-281-3/+3
|
* 4709Kartik Agaram2018-10-1712-448/+443
|
* 4654Kartik Agaram2018-10-024-21/+25
|
* 4649Kartik Agaram2018-10-0213-533/+601
|
* 4512Kartik Agaram2018-09-235-76/+432
|
* 4588Kartik Agaram2018-09-2210-107/+346
|
* 4539Kartik Agaram2018-09-079-12/+12
|
* 4536Kartik Agaram2018-09-079-0/+914