about summary refs log tree commit diff stats
Commit message (Expand)AuthorAgeFilesLines
* 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
* 2131 - better tb_sync()Kartik K. Agaram2015-09-021-6/+10
* 2130Kartik K. Agaram2015-09-021-10/+7
* 2129 - bugfix: clicking on 'menu' barKartik K. Agaram2015-09-021-3/+24
* 2128Kartik K. Agaram2015-09-011-0/+20
* 2127 - colorize sandboxesKartik K. Agaram2015-09-011-1/+70
* 2126Kartik K. Agaram2015-09-012-2/+2
* 2125 - bugfix for containers in the environmentKartik K. Agaram2015-09-011-0/+5
* 2124Kartik K. Agaram2015-09-011-4/+7
* 2123 - bugfix in wrapping current lineKartik K. Agaram2015-09-011-1/+33
* 2122 - undo/redo should now be workingKartik K. Agaram2015-09-012-22/+244
* 2121 - undo now supports the 'delete' keyKartik K. Agaram2015-09-012-12/+278
* 2120Kartik K. Agaram2015-09-011-26/+40
* 2119Kartik K. Agaram2015-08-311-20/+53
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-11-16 23:24:04 +0000