| Sun, 22 Nov 2015 23:13:02 +0100 | wenzelm | some GC options that potentially improve reactivity; | changeset | files |
| Sun, 22 Nov 2015 20:53:38 +0100 | wenzelm | more thorough completion rendering, e.g. "Un"; | changeset | files |
| Sun, 22 Nov 2015 13:33:38 +0100 | wenzelm | tuned; | changeset | files |