Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 2175 | Kartik K. Agaram | 2015-09-06 | 55 | -2999/+3437 |
* | 2174 | Kartik K. Agaram | 2015-09-06 | 1 | -1/+2 |
* | 2173 - 'main' for 'mu edit' running layers 1 and 2 | Kartik K. Agaram | 2015-09-06 | 1 | -1/+42 |
* | 2172 - 'main' for 'mu edit' running just layer 1 | Kartik K. Agaram | 2015-09-06 | 2 | -1/+14 |
* | 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 |