Thu, 31 Jul 2014 22:02:21 +0200 | wenzelm | prefer dynamic ML_print_depth if context happens to be available; | changeset | files |
Thu, 31 Jul 2014 21:29:31 +0200 | wenzelm | completion popup supports both ENTER and TAB (default); | changeset | files |
Thu, 31 Jul 2014 20:59:10 +0200 | wenzelm | clarified compile-time use of ML_print_depth; | changeset | files |