| Mon, 19 Mar 2012 12:43:46 +0100 | blanchet | better defaults for Metis, that seem to make it less likely to loop seemingly forever -- 0 coefficients might very well make it incomplete | changeset | files |
| Mon, 19 Mar 2012 18:18:42 +0100 | wenzelm | allow keyword tags to be redefined, but not the command category; | changeset | files |
| Mon, 19 Mar 2012 15:56:27 +0100 | wenzelm | further amendment of "updated" edge (cf. 6ed49c52d463) -- required for repainting of unassigned command, e.g. for inactive buffe; | changeset | files |
| Mon, 19 Mar 2012 14:59:31 +0100 | wenzelm | clarified command span classification: strict Command.is_command, permissive Command.name; | changeset | files |
| Sun, 18 Mar 2012 22:09:00 +0100 | wenzelm | more robust bash interpolation; | changeset | files |
| Sun, 18 Mar 2012 22:06:37 +0100 | wenzelm | more ambitious scalac options for makedist; | changeset | files |