Wed, 27 Jan 2016 14:14:06 +0100 | wenzelm | allow single quote within URL; | changeset | files |
Wed, 27 Jan 2016 14:09:58 +0100 | wenzelm | proper try_run for exactly one evaluation of body (amending 91c3aedbfc5e); | changeset | files |
Mon, 25 Jan 2016 14:51:04 +0100 | wenzelm | more thorough syntax_changed: new commands need require new folds; | changeset | files |