| 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 |
| Sun, 18 Mar 2012 21:52:50 +0100 | wenzelm | less noisy Isabelle/Scala build process; | changeset | files |
| Sun, 18 Mar 2012 13:59:54 +0100 | wenzelm | comment; | changeset | files |