next up previous contents index
Next: 3.12 Undo and Redo Up: 3 Diagram Editing Previous: 3.10 Creating and Deleting

3.11 Other Edit Commands


next up previous contents index
Next: 3.12 Undo and Redo Up: 3 Diagram Editing Previous: 3.10 Creating and Deleting
Frank Dehne,Faculty of Mathematics and Computer Science, Vrije Universiteit Amsterdam
11/17/1997