Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 | -2/+2 |
| | | | | | Delete some obsolete /same-as-ingredient attributes. We should always let Mu deduce those at this point. | ||||
* | 3697 | Kartik K. Agaram | 2016-11-27 | 1 | -13/+2 |
| | | | | | | Decouple programming environment initialization from rendering. This helps make clear that we only need the width from screen during initialization. | ||||
* | 3696 | Kartik K. Agaram | 2016-11-27 | 1 | -2/+2 |
| | | | | | | 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 | -207/+207 |
| | | | | Update syntax highlighting to not color numeric locations like literals. | ||||
* | 3568 | Kartik K. Agaram | 2016-10-23 | 1 | -15/+15 |
| | | | | Fix syntax highlighting for labels after commit 3552. | ||||
* | 3567 | Kartik K. Agaram | 2016-10-23 | 1 | -1/+1 |
| | |||||
* | 3558 | Kartik K. Agaram | 2016-10-22 | 1 | -15/+15 |
| | |||||
* | 3491 | Kartik K. Agaram | 2016-10-09 | 1 | -3/+3 |
| | | | | | Update the html, proving that commit 3490 worked. The only changes are from other recent commits. | ||||
* | 3457 | Kartik K. Agaram | 2016-10-06 | 1 | -27/+27 |
| | | | | | 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 | -14/+14 |
| | |||||
* | 3431 | Kartik K. Agaram | 2016-09-30 | 1 | -11/+11 |
| | | | | | Improvements to syntax highlighting, particularly for Mu code in C++ files. | ||||
* | 3430 | Kartik K. Agaram | 2016-09-28 | 1 | -47/+42 |
| | |||||
* | 3397 | Kartik K. Agaram | 2016-09-17 | 1 | -47/+47 |
| | |||||
* | 3395 | Kartik K. Agaram | 2016-09-17 | 1 | -135/+135 |
| | |||||
* | 3355 | Kartik K. Agaram | 2016-09-15 | 1 | -19/+19 |
| | |||||
* | 3102 | Kartik K. Agaram | 2016-07-05 | 1 | -81/+104 |
| | |||||
* | 2996 | Kartik K. Agaram | 2016-05-21 | 1 | -4/+6 |
| | |||||
* | 2866 | Kartik K. Agaram | 2016-04-25 | 1 | -99/+100 |
| | |||||
* | 2812 | Kartik K. Agaram | 2016-03-27 | 1 | -14/+21 |
| | |||||
* | 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 | -32/+23 |
| | | | | | Looks like "TOhtml | <other command>" doesn't work on Mac OS X for some reason.. | ||||
* | 2710 | Kartik K. Agaram | 2016-02-25 | 1 | -3/+0 |
| | |||||
* | 2605 | Kartik K. Agaram | 2016-01-26 | 1 | -72/+85 |
| | |||||
* | 2545 | Kartik K. Agaram | 2015-12-15 | 1 | -5/+5 |
| | | | | update html | ||||
* | 2611 | Kartik K. Agaram | 2015-11-29 | 1 | -144/+18 |
| | |||||
* | 2423 - describe shape-shifting in html docs | Kartik K. Agaram | 2015-11-10 | 1 | -92/+54 |
| | |||||
* | 2177 | Kartik K. Agaram | 2015-09-07 | 1 | -0/+826 |