improveClose.Rd
Cleans up everything for checkin.
improveClose()
No meaningful value - called for its side effects: the links recorded in the session are deleted from the workspace and the inventory is written back. When no links were created nothing happens.
