Next: Comparing-Diffing-Merging, Previous: Spell Checking, Up: Editing   [Index]