On 21 Jan 2011, at 15:38, Richard Miller wrote:
Bernard's specification was essentially an
abstract model of an
existing minimalist (and modeless) screen editor 'ded' developed by his
colleague Richard Bornat at Queen Mary College in London. I've never seen
'ded' itself, but I expect that if you tried both editors you would see a
close family resemblance.
Somewhere there is a paper which describes, I think, ded - certainly some editor written
at QMC - from the user-interface perspective.