Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | 2159 | Kartik K. Agaram | 2015-09-05 | 2 | -139/+139 | |
* | 2158 | Kartik K. Agaram | 2015-09-05 | 1 | -1/+7 | |
* | 2157 - edit/ now contains real layers | Kartik K. Agaram | 2015-09-05 | 4 | -48/+74 | |
* | 2156 - split edit.mu into multiple files | Kartik K. Agaram | 2015-09-05 | 14 | -8914/+8905 | |
* | 2155 - `mu` can now load all files in a directory | Kartik K. Agaram | 2015-09-05 | 2 | -1/+26 | |
* | 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 |