using closures
bugfix
bugfix
final version of mmi using closures - hopefully
Merge remote-tracking branch 'upstream/master'
remove deferred warning
Merge branch 'master' of git.sv.gnu.org:/srv/git/liberty-eiffel
more new year copyright fixes