| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | 2171 - 'main' can take ingredients from the shell | Kartik K. Agaram | 2015-09-06 | 2 | -6/+39 | |
| * | 2170 | Kartik K. Agaram | 2015-09-06 | 1 | -15/+22 | |
| * | 2169 | Kartik K. Agaram | 2015-09-06 | 1 | -1/+0 | |
| * | 2168 | Kartik K. Agaram | 2015-09-06 | 1 | -1/+0 | |
| * | 2167 | Kartik K. Agaram | 2015-09-05 | 2 | -4/+18 | |
| * | 2166 | Kartik K. Agaram | 2015-09-05 | 3 | -168/+221 | |
| * | 2165 | Kartik K. Agaram | 2015-09-05 | 1 | -1/+1 | |
| * | 2164 | Kartik K. Agaram | 2015-09-05 | 1 | -2/+1 | |
| * | 2163 | Kartik K. Agaram | 2015-09-05 | 3 | -17/+19 | |
| * | 2162 | Kartik K. Agaram | 2015-09-05 | 1 | -16/+2 | |
| * | 2161 | Kartik K. Agaram | 2015-09-05 | 1 | -8/+8 | |
| * | 2160 | Kartik K. Agaram | 2015-09-05 | 4 | -0/+0 | |
| * | 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 | |