Tools menu

The Tools menu commands are the following:

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