Tools menu

The Tools menu commands are the following:

• Check in
• Undo checkout
• Reserve
• Unreserve
• History
• Version tree
• Properties > Destination version
• Properties > Source version