| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 2184 - bugfix in trace_count | Kartik K. Agaram | 2015-09-12 | 2 | -3/+12 |
| * | 2183 - environment + external editor using tmux | Kartik K. Agaram | 2015-09-12 | 20 | -19/+8346 |
| * | 2182 | Kartik K. Agaram | 2015-09-12 | 2 | -3/+1 |
| * | 2181 - detect shift-tab | Kartik K. Agaram | 2015-09-11 | 2 | -5/+10 |
| * | 2180 - render the trace even if there's warnings | Kartik K. Agaram | 2015-09-10 | 2 | -1/+53 |
| * | 2179 - undo bugfix | Kartik K. Agaram | 2015-09-10 | 2 | -1/+22 |
| * | 2178 - don't die on divide by 0 | Kartik K. Agaram | 2015-09-10 | 1 | -6/+25 |
| * | 2177 | Kartik K. Agaram | 2015-09-07 | 38 | -9349/+12357 |
| * | 2176 | Kartik K. Agaram | 2015-09-06 | 2 | -3/+35 |
| * | 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 |