Managing PDA Library

To manage the PDA Library it is possible to use either commands from the menu Library or commands from the Library toolbar explained in the the chapter "Creating and filling your own library".