Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 3431 | Kartik K. Agaram | 2016-09-30 | 1 | -1/+1 |
| | | | | | Improvements to syntax highlighting, particularly for Mu code in C++ files. | ||||
* | 3395 | Kartik K. Agaram | 2016-09-17 | 1 | -9/+9 |
| | |||||
* | 3017 | Kartik K. Agaram | 2016-05-26 | 1 | -15/+15 |
| | |||||
* | 2812 | Kartik K. Agaram | 2016-03-27 | 1 | -7/+16 |
| | |||||
* | 2745 | Kartik K. Agaram | 2016-03-09 | 1 | -1/+1 |
| | |||||
* | 2744 | Kartik K. Agaram | 2016-03-09 | 1 | -1/+1 |
| | | | | Tweak colors and font-sizes in generated html. | ||||
* | 2743 | Kartik K. Agaram | 2016-03-09 | 1 | -16/+7 |
| | | | | | Looks like "TOhtml | <other command>" doesn't work on Mac OS X for some reason.. | ||||
* | 2611 | Kartik K. Agaram | 2015-11-29 | 1 | -2/+2 |
| | |||||
* | 2177 | Kartik K. Agaram | 2015-09-07 | 1 | -24/+25 |
| | |||||
* | 2175 | Kartik K. Agaram | 2015-09-06 | 1 | -25/+24 |
| | |||||
* | 2062 | Kartik K. Agaram | 2015-08-23 | 1 | -1/+1 |
| | |||||
* | 1885 | Kartik K. Agaram | 2015-07-29 | 1 | -15/+15 |
| | |||||
* | 1631 - update html versions | Kartik K. Agaram | 2015-06-23 | 1 | -3/+3 |
| | | | | | | Html is a little more readable thanks to feedback from J David Eisenberg (https://news.ycombinator.com/item?id=9766330), in particular the suggestion to use https://addons.mozilla.org/En-us/firefox/addon/wcag-contrast-checker. | ||||
* | 1556 | Kartik K. Agaram | 2015-06-12 | 1 | -1/+1 |
| | |||||
* | 1549 | Kartik K. Agaram | 2015-06-09 | 1 | -2/+2 |
| | |||||
* | 1517 | Kartik K. Agaram | 2015-05-30 | 1 | -3/+3 |
| | |||||
* | 1461 - descriptions/table of contents for the layers | Kartik K. Agaram | 2015-05-26 | 1 | -1/+1 |
| | |||||
* | 1459 | Kartik K. Agaram | 2015-05-25 | 1 | -8/+9 |
| | |||||
* | 1376 - update github docs | Kartik K. Agaram | 2015-05-14 | 1 | -55/+55 |
| | |||||
* | 1291 | Kartik K. Agaram | 2015-05-06 | 1 | -1/+1 |
| | |||||
* | 1279 - colorized rendering of the source files | Kartik K. Agaram | 2015-05-06 | 1 | -0/+103 |