Thu, 27 May 2010 12:35:40 +0200 | wenzelm | indicate prospective properties; | changeset | files |
Thu, 27 May 2010 12:34:30 +0200 | wenzelm | clarified auto_update vs. update; | changeset | files |
Thu, 27 May 2010 12:03:59 +0200 | wenzelm | more reactive message handling, notably for follow_caret mode; | changeset | files |