Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 3856 | Kartik K. Agaram | 2017-05-13 | 1 | -5/+5 |
| | | | | | Bugfix on commit 3853: clear `render-all-on-no-more-events` once you've actually run the `render-all`. | ||||
* | 3855 | Kartik K. Agaram | 2017-05-13 | 1 | -266/+268 |
| | |||||
* | 3845 | Kartik K. Agaram | 2017-05-06 | 1 | -6/+6 |
| | |||||
* | 3825 | Kartik K. Agaram | 2017-04-16 | 1 | -267/+265 |
| | |||||
* | 3820 | Kartik K. Agaram | 2017-04-13 | 1 | -5/+5 |
| | |||||
* | 3797 | Kartik K. Agaram | 2017-03-15 | 1 | -5/+5 |
| | |||||
* | 3790 | Kartik K. Agaram | 2017-03-12 | 1 | -1/+1 |
| | | | | Don't try to snapshot in scenarios. | ||||
* | 3789 | Kartik K. Agaram | 2017-03-12 | 1 | -1/+1 |
| | | | | | | | | | | | | | I accidentally got rid of git snapshotting of lessons back when I switched to testable file primitives last December (commit 3705). >:-( Bringing it back now, hopefully better. The improvement is that there's now at most one commit every time we hit F4. This change adds yet another reason that running `mu` from a different directory is just not supported. | ||||
* | 3764 - better colors for cross-links | Kartik K. Agaram | 2017-03-08 | 1 | -3/+4 |
| | |||||
* | 3761 | Kartik K. Agaram | 2017-03-07 | 1 | -167/+168 |
| | |||||
* | 3734 | Kartik K. Agaram | 2017-01-11 | 1 | -1/+1 |
| | |||||
* | 3732 | Kartik K. Agaram | 2017-01-11 | 1 | -5/+5 |
| | |||||
* | 3719 - cross-link Mu waypoints to their location | Kartik K. Agaram | 2016-12-27 | 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. | ||||
* | 3715 | Kartik K. Agaram | 2016-12-26 | 1 | -40/+40 |
| | | | | | | | | 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 | -24/+24 |
| | |||||
* | 3710 | Kartik K. Agaram | 2016-12-26 | 1 | -343/+343 |
| | | | | | 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 | -347/+371 |
| | | | | | | 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. | ||||
* | 3705 - switch to tested file-system primitives | Kartik K. Agaram | 2016-12-11 | 1 | -16/+26 |
| | |||||
* | 3667 | Kartik K. Agaram | 2016-11-11 | 1 | -1/+1 |
| | |||||
* | 3569 | Kartik K. Agaram | 2016-10-23 | 1 | -42/+42 |
| | | | | Update syntax highlighting to not color numeric locations like literals. | ||||
* | 3568 | Kartik K. Agaram | 2016-10-23 | 1 | -1/+1 |
| | | | | Fix syntax highlighting for labels after commit 3552. | ||||
* | 3558 | Kartik K. Agaram | 2016-10-22 | 1 | -1/+1 |
| | |||||
* | 3457 | Kartik K. Agaram | 2016-10-06 | 1 | -76/+76 |
| | | | | | 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 | -16/+16 |
| | |||||
* | 3431 | Kartik K. Agaram | 2016-09-30 | 1 | -15/+14 |
| | | | | | Improvements to syntax highlighting, particularly for Mu code in C++ files. | ||||
* | 3430 | Kartik K. Agaram | 2016-09-28 | 1 | -40/+36 |
| | |||||
* | 3397 | Kartik K. Agaram | 2016-09-17 | 1 | -29/+29 |
| | |||||
* | 3395 | Kartik K. Agaram | 2016-09-17 | 1 | -39/+39 |
| | |||||
* | 3355 | Kartik K. Agaram | 2016-09-15 | 1 | -15/+15 |
| | |||||
* | 3102 | Kartik K. Agaram | 2016-07-05 | 1 | -5/+5 |
| | |||||
* | 2996 | Kartik K. Agaram | 2016-05-21 | 1 | -124/+133 |
| | |||||
* | 2866 | Kartik K. Agaram | 2016-04-25 | 1 | -49/+70 |
| | |||||
* | 2812 | Kartik K. Agaram | 2016-03-27 | 1 | -8/+17 |
| | |||||
* | 2745 | Kartik K. Agaram | 2016-03-09 | 1 | -1/+1 |
| | |||||
* | 2744 | Kartik K. Agaram | 2016-03-09 | 1 | -2/+2 |
| | | | | Tweak colors and font-sizes in generated html. | ||||
* | 2743 | Kartik K. Agaram | 2016-03-09 | 1 | -20/+11 |
| | | | | | Looks like "TOhtml | <other command>" doesn't work on Mac OS X for some reason.. | ||||
* | 2625 | Kartik K. Agaram | 2016-02-02 | 1 | -12/+4 |
| | |||||
* | 2605 | Kartik K. Agaram | 2016-01-26 | 1 | -16/+225 |
| | |||||
* | 2545 | Kartik K. Agaram | 2015-12-15 | 1 | -1/+1 |
| | | | | update html | ||||
* | 2423 - describe shape-shifting in html docs | Kartik K. Agaram | 2015-11-10 | 1 | -13/+9 |
| | |||||
* | 2177 | Kartik K. Agaram | 2015-09-07 | 1 | -0/+149 |