Editing Tools for ZOG, a Highly Interactive Man-Machine Interface,