| Mon, 29 Jul 2013 13:00:36 +0200 | wenzelm | obsolete; | changeset | files |
| Mon, 29 Jul 2013 12:50:16 +0200 | wenzelm | support declarative editor_execution_range, instead of old-style check/cancel buttons; | changeset | files |
| Mon, 29 Jul 2013 18:06:39 +0200 | blanchet | avoid duplicating Var when the types do not quite fit -- since this step occurs before type inference | changeset | files |