| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 2154 - check types only after loading all layers | Kartik K. Agaram | 2015-09-05 | 4 | -3/+3 |
| * | 2153 | Kartik K. Agaram | 2015-09-05 | 1 | -1/+1 |
| * | 2152 - never warn about redefining main in tests | Kartik K. Agaram | 2015-09-05 | 1 | -0/+1 |
| * | 2151 | Kartik K. Agaram | 2015-09-05 | 1 | -8/+8 |
| * | 2150 - recipe! to explicitly redefine | Kartik K. Agaram | 2015-09-05 | 1 | -16/+46 |
| * | 2149 | Kartik K. Agaram | 2015-09-05 | 3 | -5/+5 |
| * | 2148 | Kartik K. Agaram | 2015-09-05 | 1 | -1/+1 |
| * | 2147 - starting to split edit.mu into layers | Kartik K. Agaram | 2015-09-05 | 1 | -1/+2 |
| * | 2146 | Kartik K. Agaram | 2015-09-05 | 1 | -114/+1 |
| * | 2145 | Kartik K. Agaram | 2015-09-05 | 1 | -42/+42 |
| * | 2144 | Kartik K. Agaram | 2015-09-05 | 1 | -25/+0 |
| * | 2143 - allow printing in color to fake screen | Kartik K. Agaram | 2015-09-04 | 1 | -1/+8 |
| * | 2142 | Kartik K. Agaram | 2015-09-04 | 1 | -4/+0 |
| * | 2141 - attempt to deal with slow networks | Kartik K. Agaram | 2015-09-04 | 2 | -16/+31 |
| * | 2140 - refresh screen after falling behind | Kartik K. Agaram | 2015-09-04 | 2 | -11/+62 |
| * | 2139 | Kartik K. Agaram | 2015-09-04 | 1 | -0/+1 |
| * | 2138 - warn on jump to an ambiguous label | Kartik K. Agaram | 2015-09-04 | 2 | -44/+224 |
| * | 2137 | Kartik K. Agaram | 2015-09-03 | 8 | -10/+0 |
| * | 2136 - distinguish <tangle-points> from +labels | Kartik K. Agaram | 2015-09-03 | 1 | -124/+124 |
| * | 2135 - bugfix: couldn't see warnings sometimes | Kartik K. Agaram | 2015-09-03 | 1 | -16/+49 |
| * | 2134 - bugfix: comment terminated by eof | Kartik K. Agaram | 2015-09-02 | 1 | -5/+17 |
| * | 2133 | Kartik K. Agaram | 2015-09-02 | 1 | -0/+4 |
| * | 2132 - support for ctrl + arrow keys | Kartik K. Agaram | 2015-09-02 | 3 | -5/+29 |
| * | 2131 - better tb_sync() | Kartik K. Agaram | 2015-09-02 | 1 | -6/+10 |
| * | 2130 | Kartik K. Agaram | 2015-09-02 | 1 | -10/+7 |
| * | 2129 - bugfix: clicking on 'menu' bar | Kartik K. Agaram | 2015-09-02 | 1 | -3/+24 |
| * | 2128 | Kartik K. Agaram | 2015-09-01 | 1 | -0/+20 |
| * | 2127 - colorize sandboxes | Kartik K. Agaram | 2015-09-01 | 1 | -1/+70 |
| * | 2126 | Kartik K. Agaram | 2015-09-01 | 2 | -2/+2 |
| * | 2125 - bugfix for containers in the environment | Kartik K. Agaram | 2015-09-01 | 1 | -0/+5 |
| * | 2124 | Kartik K. Agaram | 2015-09-01 | 1 | -4/+7 |
| * | 2123 - bugfix in wrapping current line | Kartik K. Agaram | 2015-09-01 | 1 | -1/+33 |
| * | 2122 - undo/redo should now be working | Kartik K. Agaram | 2015-09-01 | 2 | -22/+244 |
| * | 2121 - undo now supports the 'delete' key | Kartik K. Agaram | 2015-09-01 | 2 | -12/+278 |
| * | 2120 | Kartik K. Agaram | 2015-09-01 | 1 | -26/+40 |
| * | 2119 | Kartik K. Agaram | 2015-08-31 | 1 | -20/+53 |
| * | 2118 - start on undo deletions | Kartik K. Agaram | 2015-08-31 | 2 | -7/+139 |
| * | 2117 | Kartik K. Agaram | 2015-08-31 | 1 | -8/+0 |
| * | 2116 | Kartik K. Agaram | 2015-08-31 | 1 | -16/+16 |
| * | 2115 | Kartik K. Agaram | 2015-08-30 | 2 | -3/+39 |
| * | 2114 - back to undo: coalesce move operations | Kartik K. Agaram | 2015-08-30 | 1 | -6/+92 |
| * | 2113 - stop updating entire screen on tb_present() | Kartik K. Agaram | 2015-08-29 | 4 | -0/+32 |
| * | 2112 - avoid repaint when page-up/down hit edge of text | Kartik K. Agaram | 2015-08-29 | 1 | -0/+17 |
| * | 2111 - avoid repaint when up/down hit edge of text | Kartik K. Agaram | 2015-08-29 | 1 | -5/+16 |
| * | 2109 - avoid unnecessary repaints | Kartik K. Agaram | 2015-08-29 | 1 | -0/+6 |
| * | 2108 - undo touch events *outside tests* | Kartik K. Agaram | 2015-08-29 | 1 | -2/+159 |
| * | 2107 | Kartik K. Agaram | 2015-08-29 | 1 | -22/+171 |
| * | 2106 - undo enter, but don't coalesce with surrounding typing | Kartik K. Agaram | 2015-08-29 | 1 | -27/+132 |
| * | 2105 | Kartik K. Agaram | 2015-08-29 | 2 | -3/+3 |
| * | 2104 | Kartik K. Agaram | 2015-08-29 | 1 | -2/+3 |