| Sat, 05 Jan 2013 19:05:16 +0100 | wenzelm | premature window close means failure; | changeset | files |
| Sat, 05 Jan 2013 18:42:29 +0100 | wenzelm | less aggressive Assumption.export_term (similar to Generic_Target.abbrev): merely expand local defs and thus allow notation for local fixes; | changeset | files |
| Sat, 05 Jan 2013 18:36:02 +0100 | wenzelm | proper return code on window close; | changeset | files |