about summary refs log tree commit diff stats
Commit message (Expand)AuthorAgeFilesLines
* 2181 - detect shift-tabKartik K. Agaram2015-09-112-5/+10
* 2180 - render the trace even if there's warningsKartik K. Agaram2015-09-102-1/+53
* 2179 - undo bugfixKartik K. Agaram2015-09-102-1/+22
* 2178 - don't die on divide by 0Kartik K. Agaram2015-09-101-6/+25
* 2177Kartik K. Agaram2015-09-0738-9349/+12357
* 2176Kartik K. Agaram2015-09-062-3/+35
* 2175Kartik K. Agaram2015-09-0655-2999/+3437
* 2174Kartik K. Agaram2015-09-061-1/+2
* 2173 - 'main' for 'mu edit' running layers 1 and 2Kartik K. Agaram2015-09-061-1/+42
* 2172 - 'main' for 'mu edit' running just layer 1Kartik K. Agaram2015-09-062-1/+14
* 2171 - 'main' can take ingredients from the shellKartik K. Agaram2015-09-062-6/+39
* 2170Kartik K. Agaram2015-09-061-15/+22
* 2169Kartik K. Agaram2015-09-061-1/+0
* 2168Kartik K. Agaram2015-09-061-1/+0
* 2167Kartik K. Agaram2015-09-052-4/+18
* 2166Kartik K. Agaram2015-09-053-168/+221
* 2165Kartik K. Agaram2015-09-051-1/+1
* 2164Kartik K. Agaram2015-09-051-2/+1
* 2163Kartik K. Agaram2015-09-053-17/+19
* 2162Kartik K. Agaram2015-09-051-16/+2
* 2161Kartik K. Agaram2015-09-051-8/+8
* 2160Kartik K. Agaram2015-09-054-0/+0
* 2159Kartik K. Agaram2015-09-052-139/+139
* 2158Kartik K. Agaram2015-09-051-1/+7
* 2157 - edit/ now contains real layersKartik K. Agaram2015-09-054-48/+74
* 2156 - split edit.mu into multiple filesKartik K. Agaram2015-09-0514-8914/+8905
* 2155 - `mu` can now load all files in a directoryKartik K. Agaram2015-09-052-1/+26
* 2154 - check types only after loading all layersKartik K. Agaram2015-09-054-3/+3
* 2153Kartik K. Agaram2015-09-051-1/+1
* 2152 - never warn about redefining main in testsKartik K. Agaram2015-09-051-0/+1
* 2151Kartik K. Agaram2015-09-051-8/+8
* 2150 - recipe! to explicitly redefineKartik K. Agaram2015-09-051-16/+46
* 2149Kartik K. Agaram2015-09-053-5/+5
* 2148Kartik K. Agaram2015-09-051-1/+1
* 2147 - starting to split edit.mu into layersKartik K. Agaram2015-09-051-1/+2
* 2146Kartik K. Agaram2015-09-051-114/+1
* 2145Kartik K. Agaram2015-09-051-42/+42
* 2144Kartik K. Agaram2015-09-051-25/+0
* 2143 - allow printing in color to fake screenKartik K. Agaram2015-09-041-1/+8
* 2142Kartik K. Agaram2015-09-041-4/+0
* 2141 - attempt to deal with slow networksKartik K. Agaram2015-09-042-16/+31
* 2140 - refresh screen after falling behindKartik K. Agaram2015-09-042-11/+62
* 2139Kartik K. Agaram2015-09-041-0/+1
* 2138 - warn on jump to an ambiguous labelKartik K. Agaram2015-09-042-44/+224
* 2137Kartik K. Agaram2015-09-038-10/+0
* 2136 - distinguish <tangle-points> from +labelsKartik K. Agaram2015-09-031-124/+124
* 2135 - bugfix: couldn't see warnings sometimesKartik K. Agaram2015-09-031-16/+49
* 2134 - bugfix: comment terminated by eofKartik K. Agaram2015-09-021-5/+17
* 2133Kartik K. Agaram2015-09-021-0/+4
* 2132 - support for ctrl + arrow keysKartik K. Agaram2015-09-023-5/+29