Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 3951 | Kartik K. Agaram | 2017-06-24 | 1 | -130/+130 |
| | |||||
* | 3927 | Kartik K. Agaram | 2017-06-19 | 1 | -12/+12 |
| | |||||
* | 3903 - minimal render when pressing 'tab' | Kartik K. Agaram | 2017-06-09 | 1 | -12/+12 |
| | | | | Turns out all I had to do was reset `go-render?` to false. | ||||
* | 3895 | Kartik K. Agaram | 2017-05-29 | 1 | -2051/+2053 |
| | |||||
* | 3883 | Kartik K. Agaram | 2017-05-27 | 1 | -1/+1 |
| | |||||
* | 3879 | Kartik K. Agaram | 2017-05-26 | 1 | -4/+4 |
| | |||||
* | 3869 | Kartik K. Agaram | 2017-05-19 | 1 | -8/+8 |
| | | | | Clean up a few superficial things in Caleb's commit. | ||||
* | 3867 | Kartik K. Agaram | 2017-05-19 | 1 | -155/+155 |
| | |||||
* | 3855 | Kartik K. Agaram | 2017-05-13 | 1 | -29/+29 |
| | |||||
* | 3830 - crosslink shape-shifting containers in html | Kartik K. Agaram | 2017-04-18 | 1 | -72/+72 |
| | |||||
* | 3825 | Kartik K. Agaram | 2017-04-16 | 1 | -29/+29 |
| | |||||
* | 3808 - 'length' for duplex lists | Kartik K. Agaram | 2017-03-31 | 1 | -6/+6 |
| | |||||
* | 3764 - better colors for cross-links | Kartik K. Agaram | 2017-03-08 | 1 | -3/+4 |
| | |||||
* | 3761 | Kartik K. Agaram | 2017-03-07 | 1 | -816/+817 |
| | |||||
* | 3732 | Kartik K. Agaram | 2017-01-11 | 1 | -29/+29 |
| | |||||
* | 3719 - cross-link Mu waypoints to their location | Kartik K. Agaram | 2016-12-27 | 1 | -20/+20 |
| | |||||
* | 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. | ||||
* | 3715 | Kartik K. Agaram | 2016-12-26 | 1 | -224/+224 |
| | | | | | | | | Fix cross-links in html for the edit/ app. I originally thought I'd need to provide a commandline flag like --rel-path or something. But we need to support different relative paths in a single html file. So the solution instead is appropriately engineering the tags file. | ||||
* | 3713 - cross-link calls with definitions in html | Kartik K. Agaram | 2016-12-26 | 1 | -141/+141 |
| | |||||
* | 3710 | Kartik K. Agaram | 2016-12-26 | 1 | -2109/+2109 |
| | | | | | 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 | -2113/+2137 |
| | | | | | | 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. | ||||
* | 3700 | Kartik K. Agaram | 2016-11-28 | 1 | -2/+2 |
| | | | | | | Reorder products of some functions in the edit/ and sandbox/ apps. My recent realization: always return 'real' products before ones that just indicate an ingredient is mutable. | ||||
* | 3699 | Kartik K. Agaram | 2016-11-28 | 1 | -3/+2 |
| | | | | | Delete some obsolete /same-as-ingredient attributes. We should always let Mu deduce those at this point. | ||||
* | 3696 | Kartik K. Agaram | 2016-11-27 | 1 | -29/+29 |
| | | | | | | Decouple editor initialization from rendering to screen. This hugely simplifies the header of 'new-editor' and makes clear that it was only using the screen for rendering. | ||||
* | 3569 | Kartik K. Agaram | 2016-10-23 | 1 | -444/+444 |
| | | | | Update syntax highlighting to not color numeric locations like literals. | ||||
* | 3568 | Kartik K. Agaram | 2016-10-23 | 1 | -4/+4 |
| | | | | Fix syntax highlighting for labels after commit 3552. | ||||
* | 3558 | Kartik K. Agaram | 2016-10-22 | 1 | -4/+4 |
| | |||||
* | 3457 | Kartik K. Agaram | 2016-10-06 | 1 | -61/+61 |
| | | | | | Switch around some unicode characters in the edit/ app so that it renders more cleanly in html (with monospace fonts). | ||||
* | 3456 | Kartik K. Agaram | 2016-10-06 | 1 | -123/+123 |
| | |||||
* | 3431 | Kartik K. Agaram | 2016-09-30 | 1 | -43/+43 |
| | | | | | Improvements to syntax highlighting, particularly for Mu code in C++ files. | ||||
* | 3430 | Kartik K. Agaram | 2016-09-28 | 1 | -315/+325 |
| | |||||
* | 3397 | Kartik K. Agaram | 2016-09-17 | 1 | -255/+255 |
| | |||||
* | 3395 | Kartik K. Agaram | 2016-09-17 | 1 | -391/+391 |
| | |||||
* | 3355 | Kartik K. Agaram | 2016-09-15 | 1 | -58/+58 |
| | |||||
* | 2996 | Kartik K. Agaram | 2016-05-21 | 1 | -0/+2139 |